Academy Of Useless Ideas
Academy Of Useless Ideas
  • Видео 78
  • Просмотров 74 813
Knights and Knaves teach us the Tableaux method
In this video we explore the Tableaux method for discovering tautologies through a simple Knights and Knaves puzzle. This discussion will introduce the distinction between semantic (the meaning of the a propositional logic formula) and syntax (manipulation of the formulas without meaning).
If you want to learn more, check our other videos in the series:
ruclips.net/p/PLFDAtBX3CjcT3cKAHEvPsZwm3efQ3noWL
If you want to join the discussion, join our discord server:
discord.gg/6szYjqnsCm
Просмотров: 69

Видео

We don't know what Number Theory is... but we love it!16:03We don't know what Number Theory is... but we love it!
We don't know what Number Theory is... but we love it!
Просмотров 74621 день назад
We don't know what Number Theory is... but we love it!
Symbols and meaning in mathematics12:57Symbols and meaning in mathematics
Symbols and meaning in mathematics
Просмотров 336Месяц назад
Symbols and meaning in mathematics
What is mathematical logic?10:48What is mathematical logic?
What is mathematical logic?
Просмотров 172Месяц назад
What is mathematical logic?
How many questions you need to solve this problem? #SoMEPi3:37How many questions you need to solve this problem? #SoMEPi
How many questions you need to solve this problem? #SoMEPi
Просмотров 3052 месяца назад
How many questions you need to solve this problem? #SoMEPi
5 Math Urban Legends6:545 Math Urban Legends
5 Math Urban Legends
Просмотров 1412 месяца назад
5 Math Urban Legends
What Is a Function? -A philosophical inquiry6:36What Is a Function? -A philosophical inquiry
What Is a Function? -A philosophical inquiry
Просмотров 3902 месяца назад
What Is a Function? -A philosophical inquiry
Abstraction and generalization: A choose your own adventure video!10:26Abstraction and generalization: A choose your own adventure video!
Abstraction and generalization: A choose your own adventure video!
Просмотров 1 тыс.5 месяцев назад
Abstraction and generalization: A choose your own adventure video!
Think Like a Mathematician with Baby Rudin's first two pages27:37Think Like a Mathematician with Baby Rudin's first two pages
Think Like a Mathematician with Baby Rudin's first two pages
Просмотров 8567 месяцев назад
Think Like a Mathematician with Baby Rudin's first two pages
I bet you haven't seen this proof for irrationality of square root of two10:59I bet you haven't seen this proof for irrationality of square root of two
I bet you haven't seen this proof for irrationality of square root of two
Просмотров 2278 месяцев назад
I bet you haven't seen this proof for irrationality of square root of two
Describing the real numbers as a complete ordered field.16:49Describing the real numbers as a complete ordered field.
Describing the real numbers as a complete ordered field.
Просмотров 6988 месяцев назад
Describing the real numbers as a complete ordered field.
A topological proof of the infinite of primes16:38A topological proof of the infinite of primes
A topological proof of the infinite of primes
Просмотров 11 тыс.8 месяцев назад
A topological proof of the infinite of primes
Unveiling the Gaps: Why Rational Numbers Fall Short in Calculus22:13Unveiling the Gaps: Why Rational Numbers Fall Short in Calculus
Unveiling the Gaps: Why Rational Numbers Fall Short in Calculus
Просмотров 3208 месяцев назад
Unveiling the Gaps: Why Rational Numbers Fall Short in Calculus
Axioms and constructions: Gorlack's Guide to Natural, Integer, and Rational Numbers21:19Axioms and constructions: Gorlack's Guide to Natural, Integer, and Rational Numbers
Axioms and constructions: Gorlack's Guide to Natural, Integer, and Rational Numbers
Просмотров 5498 месяцев назад
Axioms and constructions: Gorlack's Guide to Natural, Integer, and Rational Numbers
Beyond Calculus: Motivating the study of Analysis19:51Beyond Calculus: Motivating the study of Analysis
Beyond Calculus: Motivating the study of Analysis
Просмотров 1,1 тыс.9 месяцев назад
Beyond Calculus: Motivating the study of Analysis
The Hero's journey of (self) studying (mathematics)13:19The Hero's journey of (self) studying (mathematics)
The Hero's journey of (self) studying (mathematics)
Просмотров 7519 месяцев назад
The Hero's journey of (self) studying (mathematics)
How I fell in love with mathematics11:23How I fell in love with mathematics
How I fell in love with mathematics
Просмотров 7479 месяцев назад
How I fell in love with mathematics
Love, Compassion, God, and other contradictions22:26Love, Compassion, God, and other contradictions
Love, Compassion, God, and other contradictions
Просмотров 995 месяцев назад
Love, Compassion, God, and other contradictions
Ali sees every action as an act of worshipping11:09Ali sees every action as an act of worshipping
Ali sees every action as an act of worshipping
Просмотров 365 месяцев назад
Ali sees every action as an act of worshipping
A mathematician picks up an artist at a bar11:27A mathematician picks up an artist at a bar
A mathematician picks up an artist at a bar
Просмотров 1 тыс.10 месяцев назад
A mathematician picks up an artist at a bar
Scarface talks about the dangers of pornography13:36Scarface talks about the dangers of pornography
Scarface talks about the dangers of pornography
Просмотров 255 месяцев назад
Scarface talks about the dangers of pornography
Why study mathematics?7:28Why study mathematics?
Why study mathematics?
Просмотров 59910 месяцев назад
Why study mathematics?
Working hard or working smart in mathematics?13:17Working hard or working smart in mathematics?
Working hard or working smart in mathematics?
Просмотров 28611 месяцев назад
Working hard or working smart in mathematics?
When Schooling Clashes with Education13:14When Schooling Clashes with Education
When Schooling Clashes with Education
Просмотров 33111 месяцев назад
When Schooling Clashes with Education
A mysterious guess opens about her life and struggles16:03A mysterious guess opens about her life and struggles
A mysterious guess opens about her life and struggles
Просмотров 205 месяцев назад
A mysterious guess opens about her life and struggles
A Mathematician's Blind Date Turns Philosophical12:29A Mathematician's Blind Date Turns Philosophical
A Mathematician's Blind Date Turns Philosophical
Просмотров 866Год назад
A Mathematician's Blind Date Turns Philosophical
An up and coming canadian entrepreneur's journey11:13An up and coming canadian entrepreneur's journey
An up and coming canadian entrepreneur's journey
Просмотров 105 месяцев назад
An up and coming canadian entrepreneur's journey
What is the academy of useless ideas?2:41What is the academy of useless ideas?
What is the academy of useless ideas?
Просмотров 786Год назад
What is the academy of useless ideas?
Limsup, liminf, and their relations to subsequences.7:47Limsup, liminf, and their relations to subsequences.
Limsup, liminf, and their relations to subsequences.
Просмотров 308Год назад
Limsup, liminf, and their relations to subsequences.
Uniform continuity, or how to attack mathematical problems.9:42Uniform continuity, or how to attack mathematical problems.
Uniform continuity, or how to attack mathematical problems.
Просмотров 263Год назад
Uniform continuity, or how to attack mathematical problems.