Explore >> Select a destination

You are here

 aeon.co
More than argument, logic is the very structure of reality | Aeon Essays
| | jdh.hamkins.org
Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford | Joel David Hamkins
2.4 parsecs away

Travel
| | Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o...
| | blog.sigfpe.com
A Neighborhood of Infinity: Self-referential logic via self-referential circuits
3.8 parsecs away

Travel
| |
| | njwildberger.com
A new logical principle | njwildberger: tangential thoughts
3.5 parsecs away

Travel
| | We are supposed to have a very clear idea about the `laws of logic'. For example, if all men are mortal, and Socrates is a man, then Socrates is mortal. Are there in factsuch things as the "laws of logic"? While we can all agree that certain rules of inference, like the example above, are...
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
22.9 parsecs away

Travel
| [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.