Тёмный

A (very) Brief History of Kurt Gödel 

moderndaymath
Подписаться 17 тыс.
Просмотров 37 тыс.
50% 1

In this episode, we cover the history of 20th century Austro-Hungarian mathematician, logician, and philosopher Kurt Gödel, considered to be one of the most significant logicians in history. He is most notable for his incompleteness theorems, which showed in any axiomatic mathematical system, there are propositions that cannot be proven or disproved within the axioms of the system.
As per usual, I don't go too deeply into the mathematics, largely just covering his history. Hope you enjoy!
Sources: docs.google.com/document/d/1r...
DISCORD ►► / discord
PATREON ►► / moderndaymath

Опубликовано:

 

16 июн 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 66   
@crisgon9552
@crisgon9552 3 года назад
I can not find the source but I remembered reading that John von Neumann was present when Gödel first presented his Incompleteness theorem and was the only person in the crowd that understood what it actually meant. Von Neumann had a great admiration of Gödel. He campaign to have Gödel be accepted full time at Princeton saying "How can any of us be called professor when Gödel is not?".
@sdm7372
@sdm7372 2 года назад
It's somewhat curious therefore that Godel and Von Neumann never worked together (as far as I know) or ever wrote any papers together at Princeton.
@paryanindoeur
@paryanindoeur 2 года назад
I recall reading that, too -- only von Neumann even spoke to Gödel that day
@crisgon9552
@crisgon9552 2 года назад
Here is an article about Von Neumann talking to Gödel on Game Theory. They worked on different things and Gödel didn't publish much work.
@paryanindoeur
@paryanindoeur 2 года назад
@@crisgon9552 Got a link?
@crisgon9552
@crisgon9552 10 месяцев назад
​@paryanindoeur also sorry for late response. There is also a letter Gödel wrote to Von Neumann while he was on his health was declining on PvsNP. They didn't really "work" together in scholarly work but they often bounce ideas I am sure. I been trying to post the link but RU-vid keeps taking it down. A simple Google search worked for me
@MoiLiberty
@MoiLiberty 3 года назад
Today, while watching the Limits of knowledge, I discovered Kurt Gödel. The man should be known by all western civilization. I think he has been swept under the rug of scientism.
@paryanindoeur
@paryanindoeur 2 года назад
_"I think he has been swept under the rug of scientism"_ Exactly! It's amazing how many physicists, for example, ignore the Incompleteness Theorems and their extrapolations, seemingly to maintain Scientism -- science as a worldview -- and thus support reductive materialism and a priesthood-like hierarchy & orthodoxy... corruptions of science in the name of Science.
@asherwade
@asherwade 2 года назад
The problem was {still “izz”} that if pure mathematicians were to ‘really’ take Gödel’s Incompleteness Theorems seriously, they’d have to shutdown ‘all’ the math departments on every university campus; …thus, Truth, in this instance, leads to a ‘dead end’, but Gödel’s theorems “in German” do ‘ηοt’ translate into ‘Incompleteness’, rather they are called “Unentscheidbare” Sätze, or, {lit.} ‘Undecidable’ Theorems - thus, not yet “final”, rather open-ended, i.e. …there’s hope.
@saintjellypie
@saintjellypie 9 месяцев назад
You’re kidding me. He was a German speaking mathematician, how scientistic do you want it to get
@bawbtherevelator6445
@bawbtherevelator6445 2 года назад
Thanks for your clarity. I'm an 83 y.o. "recovering math phobic." both fascinated and intimidated by Hofstadter's famous book. If I finish it and go further with Godel, you'll have done me an astonishing kindness.
@TheSiriusSigma
@TheSiriusSigma 3 года назад
Beautiful work, moderndaymath!
@asdfgmnbvczxcv
@asdfgmnbvczxcv 2 года назад
Gödel left in his papers a fourteen-point outline of his philosophical beliefs, that are dated around 1960. They show his deep belief in the rational structure of the world. Here are his 14 points: The world is rational. Human reason can, in principle, be developed more highly (through certain techniques). There are systematic methods for the solution of all problems (also art, etc.). There are other worlds and rational beings of a different and higher kind. The world in which we live is not the only one in which we shall live or have lived. There is incomparably more knowable a priori than is currently known. The development of human thought since the Renaissance is thoroughly intelligible (durchaus einsichtige). Reason in mankind will be developed in every direction. Formal rights comprise a real science. Materialism is false. The higher beings are connected to the others by analogy, not by composition. Concepts have an objective existence. There is a scientific (exact) philosophy and theology, which deals with concepts of the highest abstractness; and this is also most highly fruitful for science. Religions are, for the most part, bad- but religion is not.
@lobstered_blue-lobster
@lobstered_blue-lobster 2 года назад
I didn't get the last two ones...could you please clarify those?
@asdfgmnbvczxcv
@asdfgmnbvczxcv 2 года назад
@@lobstered_blue-lobster There is a scientific (exact) philosophy and theology, which deals with concepts of the highest abstractness; and this is also most highly fruitful for science. Religions are, for the most part, bad- but religion is not.
@gucker
@gucker 3 года назад
Great job as always, thank you!
@brendanchamberlain9388
@brendanchamberlain9388 3 года назад
Great work as always. A sad ending for Gödel... Starving to death is definitely towards the bottom of the list of ways I want to go.
@Jessebonnie
@Jessebonnie 2 месяца назад
No offense but he should've just cooked his own food, i wonder what made him have a fear of being poisoned because not ALL food are poisoned.
@2pixel8ted
@2pixel8ted Год назад
This is a super video. Thanks for making it.
@rishavkarki3593
@rishavkarki3593 3 года назад
Oh yes I totally needed one of these
@Nylspider
@Nylspider 3 года назад
Ay another one got released! Looking forward to bingeing all the episodes I missed lol
@deeplearningpartnership
@deeplearningpartnership 2 года назад
Great series.
@bajajones5093
@bajajones5093 3 года назад
completely enjoyed. graze
@NikolajKuntner
@NikolajKuntner 3 года назад
Vienna calling. Thanks for the video. I've shared your video around a bit, if you don't mind.
@moderndaymath
@moderndaymath 3 года назад
I don't mind at all! Share away :D
@asherwade
@asherwade 2 года назад
In those days, a Privatdozent never got paid “from the university”. One with this qualification was allowed to post courses and interested students would sign-up, gather together and agree upon a set time to meet. It was at the prerogative of the students who attended {and anyone, like other faculty members & approved private citizens} to personally pay a ‘recommended’ sum of money or ‘’give what they could.” BTW, for future reference (because I see this all the time by those who either do not know German or have never studies in Germany) the terms: Extraordinarius Professor does ‘not’ mean an ‘extraordinary’ {as in super brilliant, or Genius professor), rather, almost just the opposite, it means ‘’Adjunct or Assistant” professor. A Dozent is more of an ‘Instructor or adjunct’. An ‘Ordinarius Professor’ is a Full Professor, …and, btw, even in Germany today, to become a full professor {Ordinarius} one must *earn* the degree for this position, and that [so-called] ‘Professor’ degree is the ‘Habilitationschrift’ {Habilitation Thesis}, which only can be done ‘after’ a doctoral degree. (( I wrote two doctoral dissertations at Hamburg University (1975-1980; then 1980-1983), the second one ‘in German.’ }}
@glenn07777
@glenn07777 Год назад
It is so pity Germany today academically is not even the shadow of its older self...
@pablogonzalez2009
@pablogonzalez2009 10 месяцев назад
He has a cool cameo in Oppenheimer (2023).
@rl7012
@rl7012 Год назад
Why didn't Godel just learn to prepare his own meals? He could have sourced his own food, asked his wife where she shopped and made his own food. The fact he didn't do that tells me that it was a bit more than being scared of being of being poisoned as Godel must have known he could die by starvation too. Plenty of people have been scared of being poisoned but they don't all starve themselves to death if one particular trusted person cannot make their food. Godel seems to have trapped himself in his own logic prison when it came to eating food.
@Jessebonnie
@Jessebonnie Год назад
I mean true, if he recover his obsessive fear or his mental health he would still be alive.
@sankalp2520
@sankalp2520 6 месяцев назад
The story of him eating food only by his wife is heartbreaking but the fact that he couldn't prepare his own food and relied on a woman to prepare his food shows how dangerous religion and faith can be for health.
@Muhammad-pz1bp
@Muhammad-pz1bp 5 месяцев назад
The cause of his starvation was OCD , not religion , he was doubting that someone will put poison in his food .
@BLUEGENE13
@BLUEGENE13 Год назад
he easily could of had a damaged heart, rheumatic fever and infection in general often spreads to the heart and causes valve damage and other kinds of damage. He easily could of had heart damage and indeed wasn't a hypochondriac on that point. Who ACTUALLY knows though, but there isn't zero reason to suspect heart damage. As someone personally who has had heart damage from a "normal fever" type illness. It can happen, and it could of easily happened to him.
@nahidhkurdi6740
@nahidhkurdi6740 3 года назад
I could think of ways to convince any person having any trace of sanity to eat. For example, I would share the meal with him proving to him that it is not poisoned.
@crisgon9552
@crisgon9552 10 месяцев назад
What if you have the antidote or acquired immunity to the poison? Gödel was probably too smart for his own safety
@nahidhkurdi6740
@nahidhkurdi6740 10 месяцев назад
@@crisgon9552 Multiplicity of those who share the meals and random choice of them would negate the validity of that objection. Gödel himself could have contributed to that, had he been of any degree of sanity at the time. My point is that I doubt the claim that he refused to eat for fear of being poisoned while his mental faculties were still with him.
@crisgon9552
@crisgon9552 10 месяцев назад
@nahidhkurdi6740 you are correct there are ways to mitigate his anxiety of being poison but at the end you can't make a horse drink water when you lead it to the river. It's a shame how he died but his legacy is secured
@dr.j3685
@dr.j3685 6 месяцев назад
Mental illness is not defined by ur current state of mind when u get them u know it , hopefully u don't get it
@Muhammad-pz1bp
@Muhammad-pz1bp 3 месяца назад
​​@@nahidhkurdi6740 he didn't eat because he had OCD about being poisoned , educate yourself about OCD , it's a doubt disorder .
@michaelgonzalez9058
@michaelgonzalez9058 Год назад
Girdel knew water turn into drop this becoming vapor is the answer to his computation
@moahmet8104
@moahmet8104 Год назад
Couldn't someone convince him that not eating will result in him dying and that is the same as getting poisoned?
@spiderjerusalem4009
@spiderjerusalem4009 Год назад
self referential. Died in order not to die
@ryleexiii1252
@ryleexiii1252 3 года назад
10:34 Wait, what? What? How does that follow???
@coolcat23
@coolcat23 7 месяцев назад
Great video and you do a great job of trying to get the pronunciation of foreign names right. Note that "Privatdozent" is pronounced like "preewatdotcent", i.e., the "z" is not spoken like an "s" but rather like a "ts" (or "tc") sound.
@asherwade
@asherwade 2 года назад
Sorry, Einstein was ‘ηενεr’ a member of Princeton’s Faculty.
@anthonyvargas7564
@anthonyvargas7564 3 месяца назад
Jesus, imagine getting nerfed in your office by your PhD student wtf bro
@ConnoisseurOfExistence
@ConnoisseurOfExistence Год назад
That was beautiful, but odd and untrue quote from him on the end. His own theorems prove that we can never know all of mathematics even in principal. If we want to have consistent system of mathematical axioms and theorems, it must be incomplete. Nevertheless, Godel is my #3 greatest mind of all time, after Cantor and Archimedes.
@nebula1919191
@nebula1919191 Год назад
Gertle and Einshtein eh?
@shashanks.k855
@shashanks.k855 Год назад
"essentially web-md him self" 😂
@asherwade
@asherwade 2 года назад
The Institute for Advanced Study is in no way connected to Princeton University, at least during Einstein & Gödel’s time, and there was even some quite cold relations between the two institutions.
@jangeertbruggink5044
@jangeertbruggink5044 2 года назад
4 years before godel was born makes no sense the older brother was also a godel.
@LYNNJACKY
@LYNNJACKY 2 года назад
I know it says a very brief history... but you missed the line where his wife fought off the nazi thugs with an umbrella!
@1.4142
@1.4142 2 года назад
Unusual death
@ivangaborige8623
@ivangaborige8623 Год назад
GB: Mathematical axioms themselves are "neither provable nor disprovable". - The discovery of Spanish wax is the process, isn't it... The sky is blue and the grass is green... like. H: Már maguk a matematikai axiómák is "se nem bizonyíthatóak, se nem cáfolhatóak". - Spanyol viasz felfedezése a folyamat ugye... Kék az ég és zöld a fű ... szerű.
@tonychinnery
@tonychinnery 8 дней назад
There is an inaccuracy in your presentation. For Godel's incompleteness theorem only applies to axiomatic systems that contain natural number theory, or Peano's axioms. Hilbert had already shown that Euclidean geometry was complete.
@benderbender988
@benderbender988 Год назад
Educate yourself. Gentzen's consistency proof
@marclayne9261
@marclayne9261 2 года назад
Daniil Kharms, the Russian writer, starved himself to death, in a psychiatric hospital....
@venkat4167
@venkat4167 Месяц назад
Do you think he had autism or Asperger’s?
@snax_4820
@snax_4820 7 месяцев назад
austrio-hungarian? Really?
Далее
A Brief History of Alan Turing (Imitation Game)
25:42
A (very) Brief History of Bertrand Russell
22:11
Просмотров 159 тыс.
Whyyy? 😭 #shorts by Leisi_family
00:15
Просмотров 5 млн
A (very) Brief History of Alexander Grothendieck
26:53
Limits of Logic: The Gödel Legacy
58:16
Просмотров 195 тыс.
A (very) Brief History of David Hilbert
21:50
Просмотров 54 тыс.
A (very) Brief History of John von Neumann
25:44
Просмотров 171 тыс.
Everything Wrong with the Modal Ontological Argument
20:48
Gödel's Proof of God - In Depth
36:51
Просмотров 7 тыс.