Explore >> Select a destination
|
You are here 
|
consequently.org | ||
| | | | |
www.logicmatters.net
|
|
| | | | | "Our external physical reality is a mathematical structure." That's how Wikipedia sums up the cosmologist Max Tegmark's mathematical universe hypothesis. Looks as if some conceptual untangling is needed. Scott Aaronson makes a great start in a wonderful blogpost here. | |
| | | | |
richardzach.org
|
|
| | | | | Baaz, Matthias, and Richard Zach. 2022. Epsilon theorems in intermediate logics. The Journal of Symbolic Logic 87(2), pp. 682-720. DOI: 10.1017/jsl.2021.103. Open access. Any intermediate propositi... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I gave a talk for the Food for Thought seminar for the Notre Dame philosophy department. The topic concerned definite descriptions, particularly the semantics that might be given when one extends f... | |
| | | | |
agtb.wordpress.com
|
|
| | | WINE 2021: The 17th Conference on Web and Internet Economics December 14-17, 2021Hasso Plattner Institute, Potsdam, Germany https://hpi.de/wine2021 Over the past two decades, researchers in theoretical computer science, artificial intelligence, operations research, and economics have joined forces to understand the interplay of incentives and computation. These issues are of particular importance in the Web and... | ||
