/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.logicmatters.net
Philosophy of mathematics - a reading list - Logic Matters
| | www.thebigquestions.com
The Generalist at Steven Landsburg | The Big Questions: Tackling the Problems of Philosophy with Ideas from Mathematics, Economics, and Physics
5.6 parsecs away

Travel
| |
| | aeon.co
More than argument, logic is the very structure of reality | Aeon Essays
5.2 parsecs away

Travel
| | Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task
| | tomasp.net
Would aliens understand lambda calculus? - Tomas Petricek
5.7 parsecs away

Travel
| | The question whether aliens would understand lambda calculus is intriguing because it vividly formulates a fundamental question about our formal mathematical knowledge. Are mathematical theories and results about them invented, i.e. constructed by humans, or discovered, i.e. are they eternal truths that exist regardless of whether there are humans to know them?
| | njwildberger.com
Logical difficulties in modern mathematics | njwildberger: tangential thoughts
24.0 parsecs away

Travel
| Modern mathematics is enormously complicated and sophisticated. It takes some courage, and perhaps some foolishness, to dare to suggest that behind the fancy theories lie serious logical gaps, and indeed error. But this is the unfortunate reality. Around the corner, however, is a new and more beautiful mathematics, a more honest mathematics, in which everything...