"The last big things that we discovered was the constructivist turn in mathematics... to understand that the parts of mathematics that work are computation. That was a very significant discovery in the first half of the 20th century. ...[I]t hasn't fully permeated philosophy and even physics yet. Physicists checked out the code libraries for mathematics before constructivism became universal. ...Gödel himself ...didn't get it yet. Hilbert could get it. Hilbert saw that [e.g.,] Cantor's set theoretic experiments in mathematics led him to contradictions, and he noticed that with the current semantics we cannot build a computer in mathematics that runs mathematics without crashing, and Gödel... could prove this."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Imported from EN Wikiquote
https://en.wikiquote.org/wiki/Joscha_Bach
Revision History
No revisions have been submitted for this quote.
Categories
Joscha Bach
98 quotes on TrueQuotesView all quotes by Joscha Bach →
Related Quotes
"The radical idea of treating individuals in a society as cells and the society itself as a well-Organized organism is…"
"too many people, so many mass executions of the elderly and infirm make sense… if the brain discards unused neurons, …"
"You cannot learn what does not attract your attention. Women tend to find abstract systems, conflicts and mechanisms …"
"I looked up the statistics, black kids in the US have slower cognitive development"
"When the Artificial Intelligence (AI) movement set off fifty years ago, it bristled with ideas and optimism, which ha…"
"Attempts in psychology at overarching theories of the mind have been all but shattered by the influence of behavioris…"
"AI’s gradual demotion from a science of the mind to the nerdy playpen of engineering was accompanied not by utterance…"
"Long ago, physics and other natural sciences... had become computational."
"MicroPsi is a cognitive model that represents the author’s attempt to contribute to the discussion of Artificial Gene…"
"[A] functionalist model of cognitive processes might be implemented as a computer program (computationalism)... hand …"