Overcoming Foundational Challenges

Our foundation champions the exploration of formalisms. We seek out paradoxes, fallacies, and puzzles across formal languages, curating and funding work on their decidable statements. Our focus is on formalisms that merge distinct aspects of formal reasoning or introduce entirely new, transformative frameworks.