Outer Web | Explore

Explore >> Select a destination

You are here		www.johnnylogic.org 36 Methods of Proof - Johnny Logic
\|	\|	jdh.hamkins.org Forcing is simply the iterative conception undertaken with multivalued logic, ForcingFest, Oslo, June 2024 \| Joel David Hamkins	14.6 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...	14.6 parsecs away Travel
\|	\|	mmph.wordpress.com TeX on the cloud \| Mathematically Minded Physicist	13.6 parsecs away Travel
\|	\|	The recent post on cloud computing and Google Docs made me ask myself whether Google Docs supports (La)TeX. It turned out you can insert LaTeX equations into your Google doc (as discussed in more detail e.g. here) but that's that for now. There exists a LaTeX Lab project aspiring to develop a web-based LaTeX editor...	13.6 parsecs away Travel
\|	\|	jdh.hamkins.org The computable surreal numbers, Notre Dame Logic Seminar, December 2024 \| Joel David Hamkins	14.4 parsecs away Travel
\|	\|	This will be a talk for the Notre Dame Logic Seminar, 3 December 2024, 2:00pm, 125 Hayes-Healey. Abstract. I shall give an account of the theory of computable surreal numbers, proving that these fo...	14.4 parsecs away Travel
\|	\|	www.samuelmoore.org CFP: special issue of JEP on open research for the humanities and social sciences - Samuel Moore	71.8 parsecs away Travel
\|		I'm guest editing a special issue for the Journal of Electronic Publishing on open research for the humanities and social sciences. The call for papers is below: Call for papers: Special Issue on Open Research for the Humanities and Social Sciences ??Abstract submission deadline: 30 January 2025 In recent years, research production and communication in ... Continue reading "CFP: special issue of JEP on open research for the humanities and social sciences"	71.8 parsecs away Travel