Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Formal Logic

Showing: 11 courses
Simons Institute

Transformer Expressivity and Formal Logic

0 rewiews
Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Serious Science

Mathematics

0 rewiews
Explore fundamental concepts in mathematics, logic, and decision theory through expert lectures on topics like prime numbers, paradoxes, group theory, and neural networks.
Add to list
12 Lesons
2 hours 30 minutes
On-Demand
Free-Video
Serious Science

Philosophy

0 rewiews
Explore diverse philosophical topics from ethics and logic to neuroscience and religion with expert lectures on key concepts, debates, and thinkers throughout history.
Add to list
32 Lesons
7 hours
On-Demand
Free-Video
Insights into Mathematics

A Brief History of Logic: Aristotle and Deduction - Math Foundations 251

0 rewiews
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.
Add to list
8 Lesons
29 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Sam Sanders - Uniformity in Mathematics

0 rewiews
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.
Add to list
13 Lesons
34 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Teaching Mathematics to Computers - Advancements in Computational Theorem Proving

0 rewiews
Explore the potential of computers in theorem-proving and advanced mathematics, from basic logic to modern research, and their future role in mathematical discovery.
Add to list
1 Lesons
1 hour 39 minutes
On-Demand
Free-Video
BIMSA

On A Finitary Formal Meta-theory of Meta-mathematics - ICBS 2024

0 rewiews
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.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Theorem Proving and AI

0 rewiews
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.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video
linux.conf.au

Let's Use an Automated Theorem Prover to Verify Video Games - I Swear This Is More Fun Than It Sounds

0 rewiews
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.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Mario Carneiro - Metamath Zero: Export Your Logic

0 rewiews
Explore Metamath Zero, a powerful tool for exporting and formalizing mathematical logic, enhancing proof verification and theorem-proving capabilities.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Neurosymbolic Programming for Science

Bridging Informal and Formal Mathematical Reasoning with Neural Language Models

0 rewiews
Explore neural language models for mathematical reasoning, bridging informal and formal approaches through NaturalProver and Draft, Sketch, and Prove techniques.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video