/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

 consequently.org
Logical Pluralism - consequently.org
| | inquiryintoinquiry.com
16 | November | 2013 | Inquiry Into Inquiry
6.2 parsecs away

Travel
| | 1 post published by Jon Awbrey on November 16, 2013
| | rjlipton.com
COMPUTATION, LOGIC, AND INFORMATION | Gödel's Lost Letter and P=NP
8.0 parsecs away

Travel
| | The organizers of a conference on this topic is on July 3-5, 2024 at Jagiellonian University, Krakow, Poland are: Wojciech Szpankowski the Director of the Center for Science of Information at Purdue University Marek Zaionc (UJ, Poland) the Professor and Head of the Foundations of Computer Science group at Jagiellonian University See the poster of...
| | richardzach.org
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach
3.5 parsecs away

Travel
| | Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780...
| | profmattstrassler.com
Quantum Field Theory, String Theory and Predictions (Part 8) - Of Particular Significance
27.7 parsecs away

Travel
| Last year, in a series of posts, I gave you a tour of quantum field theory, telling you some of what weunderstand and some of what we don't. I still haven't told you the role that string theory plays inquantum field theory today, but I am going to give you a brief tour of string...