Video není dostupné.
Omlouváme se.
Formal Proof of (A→¬A)→¬A in a Hilbert System
Komentáře • 13
Další v pořadí
Automatické přehrávání
Axioms in logicAttic Philosophy
zhlédnutí 2,5K
When Computers Write Proofs, What's the Point of Mathematicians?Quanta Magazine
zhlédnutí 386K
Automated Mathematical Proofs - ComputerphileComputerphile
zhlédnutí 91K
PRIME ZA 10KČ?!Štěps
zhlédnutí 198K
ОБЯЗАТЕЛЬНО СОВЕРШАЙТЕ ДОБРО!❤❤❤Chapitosiki
zhlédnutí 28M
Survival Skills: Steam Distiller for Dirty Water in Extreme Conditions. #survival #campingSergio Outdoors
zhlédnutí 32M
لااا! هذه البرتقالة مزعجة جدًا #قصيرOne More Arabic
zhlédnutí 51M
The bridge between number theory and complex analysisAleph 0
zhlédnutí 201K
Every Infinity Paradox ExplainedThoughtThrill
zhlédnutí 156K
Little kid tries the stalemate trick on Magnus Carlsen | World Team Blitz 2024ChessBase India
zhlédnutí 703K
These Illusions Fool Almost EveryoneVeritasium
zhlédnutí 2,1M
Rules for Natural Deduction | Attic PhilosophyAttic Philosophy
zhlédnutí 23K
What's so wrong with the Axiom of Choice ?MetaMaths
zhlédnutí 99K
Why you didn't learn tetration in school[Tetration]Prime Newtons
zhlédnutí 3,9M
Why is anti-immigration sentiment on the rise in Canada?The Guardian
zhlédnutí 1,7M
Woman attacks Uber driver with pepper sprayEyewitness News ABC7NY
zhlédnutí 41M
Girl’s compassion turns foul dog into cute furry friend #shortsI migliori trucchetti di Fabiosa
zhlédnutí 8M
Send this to an artist to make them… 🫢✨🎨 #artistomgArtistomg
zhlédnutí 16M
Harley Quinn's plan for revenge!!!#Harley Quinn #jokerHarley Quinn with the Joker
zhlédnutí 30M
Kdo je silnější??? 🔥🔥🔥Aleš Lamka - Fitness
zhlédnutí 181K
Joker can't swim!#joker #shortsUntitled Joker
zhlédnutí 38M
Jak Mluvit Jako SigmaTaky Bige
zhlédnutí 524K
CO TVOJE TĚLO NEDOKÁŽE UDĚLAT (ALE MĚLO BY TO UMĚT) 😅🤣Stejk
zhlédnutí 286K
At time stamp 31:56: that is not Modus Tollens, it's contraposition. Modus Tollens is: ~B (A-> B) -> ~A.
Your system is also used in Metamath's pmproofs collection, and it contains a 49-step condensed detachment proof of the same theorem. They call it *2.01. And they don't cheat by using the deduction theorem. :P
At 40:20: it's "syllogism" not "sylloligism".
interesting Elliot I didn't know you did logic videos too :) this is nice! I love your channel keep uploading.
Why not just assume ~~A in order to derive ~(A->~A)?
U r amazing men, so many topic's ...
Hey love your channel and may I ask a question:
If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations?
I ask this because somebody told me recently that “set theory cannot make truth valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?
what does the weird double line before the second "a" mean
It means "not", which is the negation or the "opposite" of A
make a vid on how u learn so much shiet
A small correction. Modus ponens and indeed categorical syllogisms generally were invented by Aristotle, not Socrates.
Like it, I will apply it. We shall see lol