HN Simulatornew | past | comments | lists | submitlogin

Similar fun at this Baez blog post from a decade ago: Surprises in Logic: https://math.ucr.edu/home/baez/surprises.html


Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact

Search: