41. Logic. Gödel's Completeness theorem

Поділитися
Вставка
  • Опубліковано 20 гру 2024

КОМЕНТАРІ • 2

  • @achrafkmout9398
    @achrafkmout9398 Рік тому +1

    wonderful explanation, thanks a lot
    can you recommend a book that deals with this subject please

    • @metterklume
      @metterklume Рік тому +1

      First Order Logic by Raymond Smullyan.

Наступне
Автоматичне відтворення
42. Logic. The Set Of Closed Terms30:0942. Logic. The Set Of Closed Terms
42. Logic. The Set Of Closed TermsAntonio Montalban
Переглядів 1,1 тис.
Gödel's Incompleteness Theorem - Numberphile13:52Gödel's Incompleteness Theorem - Numberphile
Gödel's Incompleteness Theorem - NumberphileNumberphile
Переглядів 2,2 млн
How to Prove Completeness | Logic tutorial | Attic Philosophy20:17How to Prove Completeness | Logic tutorial | Attic Philosophy
How to Prove Completeness | Logic tutorial | Attic PhilosophyAttic Philosophy
Переглядів 3,9 тис.
TOY STORY IN BRAWL STARS!?08:20TOY STORY IN BRAWL STARS!?
TOY STORY IN BRAWL STARS!?Brawl Stars
Переглядів 15 млн
Рабочий способ бросить вредную привычку00:40Рабочий способ бросить вредную привычку
Рабочий способ бросить вредную привычкуi11ushenka
Переглядів 886 тис.
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts00:40Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shortsCool Items Official
Переглядів 75 млн
🔥"СВОшник" РОЗНОСИТЬ шоу путіністів! Ведучий ШОКОВАНИЙ від цих СЛІВ #shorts01:12🔥"СВОшник" РОЗНОСИТЬ шоу путіністів! Ведучий ШОКОВАНИЙ від цих СЛІВ  #shorts
🔥"СВОшник" РОЗНОСИТЬ шоу путіністів! Ведучий ШОКОВАНИЙ від цих СЛІВ #shortsZAXID.NET
Переглядів 656 тис.
The Completeness Theorem24:49The Completeness Theorem
The Completeness Theorembodirsky
Переглядів 3,4 тис.
Gödel's Incompleteness Theorem. Primitive Recursion.16:22Gödel's Incompleteness Theorem. Primitive Recursion.
Gödel's Incompleteness Theorem. Primitive Recursion.Mathematics videos by M. Canals
Переглядів 3,4 тис.
Math's Fundamental Flaw34:00Math's Fundamental Flaw
Math's Fundamental FlawVeritasium
Переглядів 28 млн
Gödel's Proof of God - In Depth36:51Gödel's Proof of God - In Depth
Gödel's Proof of God - In DepthWrite your own Operating System
Переглядів 10 тис.
Roger Penrose explains Godel's incompleteness theorem in 3 minutes3:39Roger Penrose explains Godel's incompleteness theorem in 3 minutes
Roger Penrose explains Godel's incompleteness theorem in 3 minutesBruno Belli
Переглядів 1,3 млн
The proof of Gödel's incompleteness theorems15:51The proof of Gödel's incompleteness theorems
The proof of Gödel's incompleteness theoremsMohsen Khani
Переглядів 3,3 тис.
22. Logic. Compactness13:2822. Logic. Compactness
22. Logic. CompactnessAntonio Montalban
Переглядів 6 тис.
Godel's 1st Incompleteness Theorem - Proof by Diagonalization16:10Godel's 1st Incompleteness Theorem - Proof by Diagonalization
Godel's 1st Incompleteness Theorem - Proof by DiagonalizationStable Sort
Переглядів 70 тис.
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy5:20The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du SautoyTED-Ed
Переглядів 3,8 млн
😯 Подарила сыну БМВ, но не ожидала такой реакции на машину! | Новостничок00:20😯 Подарила сыну БМВ, но не ожидала такой реакции на машину! | Новостничок
😯 Подарила сыну БМВ, но не ожидала такой реакции на машину! | НовостничокНОВОСТНИЧОК
Переглядів 6 млн
Заява ЗАЛУЖНОГО ШОКУВАЛА увесь СВІТ😱ТРЕТЯ СВІТОВА ВІЙНА ПОЧАЛАСЬ?08:20Заява ЗАЛУЖНОГО ШОКУВАЛА увесь СВІТ😱ТРЕТЯ СВІТОВА ВІЙНА ПОЧАЛАСЬ?
Заява ЗАЛУЖНОГО ШОКУВАЛА увесь СВІТ😱ТРЕТЯ СВІТОВА ВІЙНА ПОЧАЛАСЬ?Вікна-новини
Переглядів 401 тис.
Перший наступ КНДРівців01:20Перший наступ КНДРівців
Перший наступ КНДРівців5 канал
Переглядів 729 тис.
1% vs 100% #beatbox #tiktok01:101% vs 100% #beatbox #tiktok
1% vs 100% #beatbox #tiktokBeatboxJCOP
Переглядів 66 млн
Морпіх із Каліфорнії доєднався до лав ЗСУ #shorts00:21Морпіх із Каліфорнії доєднався до лав ЗСУ #shorts
Морпіх із Каліфорнії доєднався до лав ЗСУ #shortsСуспільне Львів
Переглядів 241 тис.
НА ЦЕ можна дивитись ВІЧНО! Такої ПАЛКОЇ зустрічі НІХТО НЕ ЧЕКАВ00:14НА ЦЕ можна дивитись ВІЧНО! Такої ПАЛКОЇ зустрічі НІХТО НЕ ЧЕКАВ
НА ЦЕ можна дивитись ВІЧНО! Такої ПАЛКОЇ зустрічі НІХТО НЕ ЧЕКАВМи - Україна
Переглядів 1,3 млн
THE AMAZING DIGITAL CIRCUS - Ep 4: Fast Food Masquerade23:20THE AMAZING DIGITAL CIRCUS - Ep 4: Fast Food Masquerade
THE AMAZING DIGITAL CIRCUS - Ep 4: Fast Food MasqueradeGLITCH
Переглядів 38 млн
The evil clown plays a prank on the angel00:39The evil clown plays a prank on the angel
The evil clown plays a prank on the angel超人夫妇
Переглядів 52 млн