Explore >> Select a destination

You are here

 consequently.org
The Philosophical Significance of the Paradoxes - consequently.org
| | math.andrej.com
Mathematics and Computation | Lambda calculus for real analysis by Paul Taylor
15.2 parsecs away

Travel
| |
| | jdh.hamkins.org
What is second-order predicate modal logic? FoMoLo Seminar, February 2024 | Joel David Hamkins
13.5 parsecs away

Travel
| | This will be a talk for the First-order Modal Logic (FoMoLo) Seminar, 12 February 2024. The talk will take place online via Zoom-contact the organizers for access. Abstract. What is or should be th...
| | theinnovationist.com
First Principles | The Innovationist
14.7 parsecs away

Travel
| |
| | inquiryintoinquiry.com
Differential Analytic Turing Automata ? Discussion 1 | Inquiry Into Inquiry
149.5 parsecs away

Travel
| Re: R.J. Lipton and K.W. Regan ? Proving Cook's Theorem Synchronicity Rules? I just started reworking an old exposition of mine on Cook's Theorem, where I borrowed the Parity Function example from Wilf (1986), Algorithms and Complexity, and translated it into the cactus graph syntax for propositional calculus I developed as an extension of Peirce's...