วีดีโอ

If your having trouble sleeping

Great!

Unter 20 Jahren alt stand ich an intern. Mathe Kongressen mit Lorenzen und Wand Tafel Kreide vorne im Wettstreit 😊

Dr. Guus Eelink the key point in your approach is that you take "true for Socrates" to somehow involve in being the truth maker and if this is the case then this somehow entails an absolute truth,however even if you grant this interpretation it's not going to exclude the view that truth makers themselves are relative ,that is your interpretation is compatible with a view that takes reality/world to be relative so I don't think your interpretation seems to work.

Ondanks het Engels, subiet herkend als Guus, door ook Marianne. Mooi accent trouwens. Maar is het probleem ook niet dat mensen "ongeschoold", niet voldoende onderlegd" zijn op bepaalde vlakken en dat ze maar net genoeg zijn opgeleid om te geloven wat ze hebben geleerd, gehoord, of wat ze verteld is (en door welke autoriteit) Maar eigenlijk niet genoeg onderlegd zijn, om te twijfelen, te beargumenteren aan wat ze hebben geleerd, gehoord of hetgeen aan ze verteld is geweest? 🤔🫢.

Man merkt, dass er philosoph ist. 😉

???

Great lecture that answer New York Times' article in 2015 by Claire Cain Miller. Thank you very much🙏

Thanks for uploading tbhis interesting talk. At about 11:00, in mentioning problems with definiteness in the metatheory, it would perhaps be convenient to make explicit reference to the problems surrounding full second order semantics,

I have many objections to this point of view. The examples given at the end are strange. Women scientists have contributed significantly to science but respecting the scientific method, Meitner, Godall etc you name it. Look on science how it is done in reality in the lab or in the field. Would be the structure of DNA be different if women would have discovered it ? , what about the cell theory, the cardiovacular system ?, I can go on and on. This is Ivory tower theorizing. Sorry.

I don't really see the point... It looks like a recontextualised proof that Yablo's paradox is actually.. a paradox..

Protagoras and Mozi have been forgotten for 2,000 years in the history of world thought similarily. It was not until the 19th century that their original value was recognized and revived, and it was phenomenal to have a profound meaning. Jeremy Bentham and Nietzsche are the revivers of Protagoras Wang Niansun and Sūn Yíràng are the revivers of Mozi.

Cool lecture series! One doesnt find too much introductions to HoTT on the internet.

If you had an algorithm A(F, n) to determine whether a statement F was provable in n symbols, would running A(F, n) and demonstrating it output "true" constitute a proof of the statement "F is provable in n symbols"? Would it constitute a proof of F itself? (I understand it may not, because showing a statement is provable is different than showing it is true.) What about showing that A(F, k*n) outputs true, where F is a formula for which A(F, n) is false? If this program trace can be encoded as a proof in less than n symbols, we would have a contradiction, because we would have proven F in less than n symbols but shown that it is impossible to prove in less than n symbols. Perhaps this can be used to put a bound on the complexity of running A(F, k*n).

Prof Sloman was my favourite lecturer when I was at Birmingham (AI). I treasured every opportunity to converse with him.

Muy bueno!

Sono fiero di te Doc!

Klaus Mainzer bringt hoch-komplexe Themen durch interdisziplinäre Sichtweise auch für den Nicht-Spezialisten sehr gut auf den Punkt

Not the most exciting delivery, but the content is quite interesting. Been a sort of fan of Godel ever since reading GEB many years ago. Several more books I was reading mentioned him just this year, but these years most often I've seen him mentioned in connection with Godel's Loophole. Now I wonder if Godel left any notes on that topic that are out there waiting to be discovered...

Very interesting!

Another questions is: why are we trying so hard to make squirrel-proof birdfeeders? Why is it we want the birds but not the squirrels? Loved the talk Professor Sloman! Thank you for this diverse line of questioning about biology, mathematics, philosophy.

Sismondo is epic, my dudes.

Super Vortrag!! Toll so einer koryphäe zuhören zu dürfen.