Transformer Expressivity and Formal Logic
Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.
Mathematics
Explore fundamental concepts in mathematics, logic, and decision theory through expert lectures on topics like prime numbers, paradoxes, group theory, and neural networks.
Philosophy
Explore diverse philosophical topics from ethics and logic to neuroscience and religion with expert lectures on key concepts, debates, and thinkers throughout history.
A Brief History of Logic: Aristotle and Deduction - Math Foundations 251
Explore Aristotle's foundational work in logic, including syllogisms, logical forms, and deductive reasoning, tracing its development from ancient Greece to its lasting impact on modern philosophy.
Sam Sanders - Uniformity in Mathematics
Explore uniformity in mathematics, from historical examples to modern applications. Examine how uniform theorems challenge traditional logical systems and impact proof methods across various mathematical domains.
Teaching Mathematics to Computers - Advancements in Computational Theorem Proving
Explore the potential of computers in theorem-proving and advanced mathematics, from basic logic to modern research, and their future role in mathematical discovery.
On A Finitary Formal Meta-theory of Meta-mathematics - ICBS 2024
Explore a finitary formal meta-theory of meta-mathematics, merging Cantor, Frege, and Zermelo's ideas. Examine formal deductions, predicative definitions, and finitary methods in set theory and logic.
Theorem Proving and AI
Explore the intersection of theorem proving and artificial intelligence with Josef Urban, delving into cutting-edge research and potential applications in mathematics and computer science.
Let's Use an Automated Theorem Prover to Verify Video Games - I Swear This Is More Fun Than It Sounds
Explore using Z3 theorem prover to detect and fix bugs in video game systems. Learn to apply formal logic for diagnosing problems and discovering impossibilities in complex game mechanics.
Mario Carneiro - Metamath Zero: Export Your Logic
Explore Metamath Zero, a powerful tool for exporting and formalizing mathematical logic, enhancing proof verification and theorem-proving capabilities.
Bridging Informal and Formal Mathematical Reasoning with Neural Language Models
Explore neural language models for mathematical reasoning, bridging informal and formal approaches through NaturalProver and Draft, Sketch, and Prove techniques.