Mentionsy

Przemek Górczyk Podcast
03.10.2024 16:00

#359 Młody Mózg vs. Stary Mózg, Jak Zrozumieć Jak Działa Logika? Algorytmy - prof. Jerzy Tyszkiewicz

Współpraca: [email protected]


Dodatkowe materiały znajdziesz tutaj: https://www.instagram.com/przemekgorczyk/


🎬 🗣️ Oglądaj i komentuj na YouTube: https://youtu.be/Le86icmgsm4


Polski informatyk, profesor nauk matematycznych. Publikował w dziedzinie matematycznych podstaw informatyki, logiki w informatyce, złożoności obliczeniowej, złożoności Kołmogorowa, w teorii baz danych, arkuszach kalkulacyjnych oraz humanistyce cyfrowej.


Linki:

Profil naukowy: https://promotorzy.szkolydoktorskie.uw.edu.pl/pl/promotor/1357

Wikipedia: https://pl.wikipedia.org/wiki/Jerzy_Tyszkiewicz_(informatyk)

Profil MIMUW: https://www.mimuw.edu.pl/pl/pracownicy/493/


---

Zostań subskrybentem newslettera Przemek Górczyk Podcast: ⁠https://pgpodcast.pl/news⁠.


Przeczytasz w nim o kulisach prowadzenia podcastu i znajdziesz polecenia bardzo mocnych książek od moich gości.

---


Spis treści:

00:00:00 Dzisiaj w odcinku

00:02:20 prof. Jerzy Tyszkiewicz

00:03:03 Od matematyki do informatyki

00:18:57 Powstanie logiki w matematyce

00:28:03 Jak bardzo logika jest potrzebna programiście

00:31:48 Geniusze matematyczni

00:37:50 Utrata kreatywności

00:45:47 Co można zrobić więcej w logice

01:03:49 Plany naukowe i nagroda Nobla z matematyki

01:15:36 Matematyka w grach komputerowych

01:21:13 Patrzenie z różnych perspektyw

01:25:33 Plany na przyszłość

01:32:08 Kontakt do prof. Jerzego Tyszkiewicza

I on mi opowiedział, że są znane, co najmniej jedna, on jedyny mi opowiedział, to bliska sumerijska, mniej więcej 4 tysiące lat temu, napisana na glinie pismem klinowym i zawierała sobie skargę, że dzisiaj skrybów już nie kształcą tak jak kiedyś. Naprawdę? Wymyślają nowe twierdzenia, wpadają na nowe pomysły. A to nie jest tak, że nowe twierdzenie jest bardzo ciężko wymyślić, takie jak jakoś porządne? Bardzo różnie, bo to bywa tak. Bywa tak, że bardzo trudno jest wymyślić nowe ...

Search in Episode Content

Enter a search term to find specific content in this episode's transcription