"shirtless german man explains logical principles" is now on my list of favorite youtube video genres.
@NikolajKuntner
8 ай бұрын
Not German, but thanks :)
@TheoriesofEverything
Жыл бұрын
Thank you so much for your submission! (final video announcement with winners / runner ups out now, by the way)
@TheMemesofDestruction
Жыл бұрын
Love the deep dive of History! Reminds me of Professor Wolfram’s History of Science and Technology streams. ^.^
@NikolajKuntner
Жыл бұрын
There you go.
@AnalyticMinded
2 жыл бұрын
It's so funny that you made a video mentioning Robinson arithmetic when I just started reading about it this very week (Peter Smith 2020, for anyone interested). The idea of adding just one or two special elements to the standard model (which is not prohibited by the axioms) to make the theory incomplete and a wff undecidable was amazing, but you mentioning that this is due to the theory being in a sense agnostic as to interpretation has helped cement the idea. Hope you do more set theory and (if you haven't already) incompleteness.
@NikolajKuntner
2 жыл бұрын
I'll make a follow-up on Regularity and Transfinite Induction. As for you, look up the Löwenheim-Skolem theorem and get shaken.
@cocojumbo555
Жыл бұрын
@ around 30:00 if we take your example of the the class of sets who satisfy the property of being born in vienna how would you identify the smallest set to have this property?
@NikolajKuntner
Жыл бұрын
I was speaking about the class of people who were born in Vienna. A set itself wouldn't be born (doesn't really make sense.) I was probably not talking about the class of sets holding only people born in Vienna - although we could of course also consider such a thing I suppose. Now to speak of a "smallest" something, we need a relation. For numbers that's "
@danielvarga_p
Жыл бұрын
I had hard time to find this entry, I am not sure what KZitem does with the @ but seems not working fine. I tried to find 50 times with the PaCE1 contest I did not find this video. Any idea? Still need to watch your video.
@NikolajKuntner
Жыл бұрын
Mhm, no, don't know. I now moved it to the start of the titles and into the description. I see the video "youtube dot com slash hashtag slash pace1".
@nrrgrdn
2 жыл бұрын
Have been following you a while, didn't know you were a physicist. Can you link an introduction paper to how constructive logic relates to physics?
@NikolajKuntner
2 жыл бұрын
I made a 50 minute video reply to your question but then I found the audio was broken on the recording. Well. The short answer is no. :)
@nrrgrdn
2 жыл бұрын
@@NikolajKuntner would love to see that video when you get around to it again:)
@NikolajKuntner
2 жыл бұрын
@@nrrgrdn oof, donno. Maybe I do a stream some time again. Are you a mathematician or physicist? My PhD is in plasma chemistry, but I call myself a physicist.
@AlexanderKoryagin
2 жыл бұрын
🤔🤔🤔
@NikolajKuntner
2 жыл бұрын
reely makes ya think, dasn't it
@AlexanderKoryagin
2 жыл бұрын
@@NikolajKuntner Philosophy of Math has been on my list for a loooooong time :)
@JaCornCobb
2 жыл бұрын
im not sure why im gettin reccomended this . i have no idea of what is being said lol but you seem like you know
Пікірлер: 21