Great Intro to Intuitionistic Logic

At Mathematics and Computation, there’s a really good accessible introduction to intuitionistic logic called Intuitionistic Logic for Physics. It also includes some nice accessible remarks on smooth infinitesimal analysis.

	Izzy on A Geometrically Natural Uncomp…
	clumk on A Geometrically Natural Uncomp…
	Izzy on The Axiom of Choice Isn’…
	Kendra Dog on A Geometrically Natural Uncomp…
	Jax on The Axiom of Choice Isn’…
	MaryO on The Axiom of Choice Isn’…
	mkoconnor on Hoping for Lane Closures
	MaryO on Hoping for Lane Closures
	mkoconnor on How is it even possible for a…
	Craig Falls on How is it even possible for a…
	Making Money Disappe… on Making Money Disappear Through…
	iconjack on Making Money Disappear Through…
	Making Money Disappe… on Making Money Disappear Through…
	isomorphismes on The CGP Grey Sheaf of Con…
	Breaking logic with… on Löb’s Theorem: Santa Cla…

XOR’s Hammer