1Running out of places to move the goalposts to (opens in new tab)(nickdrozd.github.io)4nickdrozd2mo ago13
9What if undecidability shows up all at once? (opens in new tab)(nickdrozd.github.io)2nickdrozd1y ago0