Home / Quotes / Quote by Kurt Gödel

Quote by Kurt Gödel

“...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself.”

Quote by Kurt Gödel

Author

Kurt Gödel (April 28, 1906 - January 14, 1978) was an Austrian logician and mathematician who is considered one of the greatest logician of the 20th century. He is known for his contributions to mathematical logic and the foundations of mathematics, particularly for his incompleteness theorems, which have had a profound impact on the fields of mathematics and logic. more

You May Also Like

“I did grow up with a really big interest in math and science; I liked it.”

Bigs Grows Interest Growing Up Math Math And Science

Author:Linda M. Godwin

“The strongest results were in Florida and Texas. In just one year in a Texas charter school, an average student gained 7 percentile points in math and 8 percentile points in reading, while Florida charter schools improved student performance by 6 percentile points.”

Years School Reading Results Students Performances Average Math Just One Strongest Texas Florida Charter Charter Schools

Author:Maggie Gallagher

“I was always good at math and science, and I never realized that that was unusual or somehow undesirable.”

Math Unusual Math And Science Undesirable

Author:Marissa Mayer

“Wherefore, I beseech you let the dog and the onions and these people of the strange and godless names work out their several salvations from their piteous and wonderful difficulties without help of mine, for indeed their trouble is sufficient as it is, whereas an I tried to help I should but damage their cause the more and yet mayhap not live myself to see the desolation wrought.”

People Should Helping Names Causes Wonderful Trouble Dog Mines Strange Difficulty Salvation Work Out Math Sufficient Damage Onions Desolation

Book:A Connecticut Yankee in King Arthur's Court

Source: A Connecticut Yankee in King Arthur's Court

“Well, I had a lot of help from my father with the soldering and so on, and he was very good at math and was fascinated with computers, and so I was fortunate enough to have a bunch of exposure going all the way back to high school - this was in the 1960s.”

Way Wells Enough Helping School Father Computer High School Very Good Math Bunch Fortunate Fascinated Exposure 1960s

Author:Mitchell Kapor

“I've actually become much, much dumber through being married and having these children. I find that I'm not half as sharp that I once was. I can't even help them with their 4th and 5th grade vocabulary and math work at this point.”

Children I Can Helping Half Married Math Grades Vocabulary Being Married

Author:Patrick Warburton

“[Math] curriculum is obsessed with jargon and nomenclature seemingly for no other purpose than to provide teachers with something to test the students on.”

Purpose Teacher Students Tests Math Obsessed Curriculum Jargon Nomenclature

Author:Paul Lockhart

“The thing I want you especially to understand is this feeling of divine revelation. I feel that this structure was "out there" all along I just couldn't see it. And now I can! This is really what keeps me in the math game- the chance that I might glimpse some kind of secret underlying truth, some sort of message from the gods.”

Want Feels Kind I Can Feelings Might Games Chance Secret Divine Messages Structure Math Revelations I Want You Glimpse Divine Revelation

Author:Paul Lockhart

“Give me extension and motion and I will construct the universe.”

Giving Universe Give Me Math Extensions Constructs

Author:Rene Descartes

“Sometimes in studying Ramanujan's work, [George Andrews] said at another time, "I have wondered how much Ramanujan could have done if he had had MACSYMA or SCRATCHPAD or some other symbolic algebra package."”

Ifs Said Sometimes Done Study Math Packages Symbolic Andrew Algebra Another Time Ramanujan

Book:The Man Who Knew Infinity: A Life of the Genius Ramanujan

Source: The Man Who Knew Infinity: A Life of the Genius Ramanujan