Outer Web | Explore

Explore >> Select a destination

You are here		richardzach.org An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach
\|	\|	consequently.org Logical Pluralism - consequently.org	3.5 parsecs away Travel
\|	\|		3.5 parsecs away Travel
\|	\|	inquiryintoinquiry.com Praeclarum Theorema \| Inquiry Into Inquiry	3.6 parsecs away Travel
\|	\|	Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore...	3.6 parsecs away Travel
\|	\|	jdh.hamkins.org Forcing is simply the iterative conception undertaken with multivalued logic, ForcingFest, Oslo, June 2024 \| Joel David Hamkins	5.3 parsecs away Travel
\|	\|	I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative...	5.3 parsecs away Travel
\|	\|	dev.authorbuzz.co.uk Revising Blog Themes - Author Buzz Developer Blog	27.8 parsecs away Travel
\|		I have started the process of revising the themes on offer to our bloggers. In particular, I want to remove themes that hide their best features behind a paywall and themes that have not been kept up to date. I will do my best to make sure there are some ...	27.8 parsecs away Travel