Místo problémů
Neformální podcast o přemýšlení, řešení problémů, abstrakci a netradičních úhlech pohledu pro všechny, kteří se nespokojí s jednoduchým vnímáním světa. Varování: Může obsahovat netriviální množství humoru a matematiky, někdy i kombinovaně (expertíza v těchto oblastech však není očekávaná).
Episodes
Nov 10, 2023
Nov 10, 2023
1hr 50 min
André Hernández-Espiet formalizes Euclid's Elements in the proof assistant Lean. He will offer some thoughts on:
- what principles are essential when coding up geometry in a rigorous way
- why is graduate school a scam
- which skills and approaches are useful both in academia and the industry
- how can early access to education influence your life
Startovač: https://www.startovac.cz/patron/misto-problemu/
FB page: https://www.facebook.com/mistoproblemu
Web: https://www.mistoproblemu.cz/
Timestamps:
(0:00) introduction
(3:49) Lean and getting into it
(7:20) axiomatic systems and different geometries
(19:33) practical aspects and benefits of using Lean
(34:56) Lean communities and communication across fields
(47:23) decoupling of math from its applications
(55:38) thoughts on grad school and transitioning to the industry
(1:05:51) networking and nepotism
(1:17:46) impact of math on personal life
(1:29:18) growing up in Puerto Rico
Links:
- André's formalization of the first book of Euclid's Elements: https://github.com/ah1112/synthetic_euclid_4
- Lean blog post series: https://www.vladasedlacek.cz/en/posts/lean-01-intro
- Spherical triangles: https://en.wikipedia.org/wiki/Spherical_trigonometry
- The Erdős Institute: https://www.erdosinstitute.org/
- Blog of Alice Silverberg: https://numberlandadventures.blogspot.com/
- 3Blue1Brown: https://www.3blue1brown.com/
- Numberphile: https://www.numberphile.com/
- Project Euler: https://projecteuler.net/
- Cryptohack: https://cryptohack.org/
- Better explained: https://betterexplained.com/
- Brilliant: https://brilliant.org/
- Khan Academy: https://www.khanacademy.org/
Sep 15, 2023
Sep 15, 2023
1hr 48 min
With mathematical physicist Ian Jauslin, we explore both scientific and personal topics, including:
- whether our universe could be nonlocal
- why not to put people and concepts into boxes
- what can math look like when approached organically
- how to constantly keep learning
Startovač: https://www.startovac.cz/patron/misto-problemu/
FB page: https://www.facebook.com/mistoproblemu
Web: https://www.mistoproblemu.cz/
Timestamps:
(00:00) introduction
(02:46) bosons and superfluidity
(05:46) crystallization
(17:30) math/physics interplay
(20:48) Bell's inequality
(34:12) consequences of nonlocality
(39:04) quantum cryptography
(45:12) putting people and concepts in boxes
(52:52) Bourbaki vs. organic education
(1:01:28) applicability and approach to research
(1:06:53) outreach
(1:16:30) curiosity
(1:21:25) efficiency, vim, and keyboard layouts
(1:30:07) failures in research, time management
(1:37:24) easy life and definition of success
(1:41:40) problem-solving strategies
(1:45:52) a final plea
Links:
- Ian's webpage: http://ian.jauslin.org/
- YouTube channel: https://www.youtube.com/channel/UC5OD3zd3Ds0Syf6s6cYemIw
- Einstein-Podolsky-Rosen paper: https://iep.utm.edu/wp-content/media/epr-pdf.pdf
- Nicolas Bourbaki: https://en.wikipedia.org/wiki/Nicolas_Bourbaki
- Bell's inequality: http://scholarpedia.org/article/Bell%27s_theorem
- vim: https://www.vim.org/
- Committee of Concerned Scientists: https://concernedscientists.org/
Jun 2, 2023
Jun 2, 2023
1hr 27 min
S etnografkou a Karlovjankou Jitkou Petřekovou si klademe otázky ohledně sounáležitosti s rodinou, místem, a tradicemi. Dozvíme se:
- co nám může dát propojení s domovem
- proč nechodit po všech cestách a dvorech
- jak se dostat do komunální politiky
- kde brát energii mít rád lidi
Startovač: https://www.startovac.cz/patron/misto-problemu/
FB stránka: https://www.facebook.com/mistoproblemu
Web: https://www.mistoproblemu.cz/
Časové značky:
(00:00) úvod
(03:28) etnologie a její přínos
(08:16) prokletí Janů
(15:18) Stopy lidského umu
(23:06) rodinná paměť
(28:16) cesta ke kořenům
(37:18) genealogie, chyby a objevy
(44:34) respekt, turistika a kultura
(52:33) komunální politika
(01:06:45) feminismus, empatie a upřímnost
(01:16:34) reflexe a zpomalení
(1:22:19) vysněný projekt
Odkazy:
Stopy lidského umu: https://stopyumu.cz/
Žiju Velké Karlovice: https://www.facebook.com/zijuvelkekarlovice/
May 2, 2023
May 2, 2023
35 min
V tomto kratším dílu s Karolínou Bretovou prozkoumáme:
- kdy je lepší nervy podvázat a kdy přestřihnout
- čím se řídí etika výzkumu na zvířatech
- proč se obarvují tkáně
- jak pracovat s děláním chyb
Startovač: https://www.startovac.cz/patron/misto-problemu/
FB stránka: https://www.facebook.com/mistoproblemu
Web: https://www.mistoproblemu.cz/
Časové značky:
(00:00) úvod
(00:40) bolest a nervy
(05:43) práce se zvířaty
(13:17) barvení tkání a dovednosti
(21:24) dělání chyb
(27:43) problémy v medicíně a srovnání systémů
(33:08) překonávání překážek
Odkazy:
- Checklist manifesto: https://www.goodreads.com/book/show/6667514-the-checklist-manifesto
- Bude to bolet, doktore?: https://www.databazeknih.cz/knihy/bude-to-bolet-doktore-379467
- Mozkové omalovánky: https://duckduckgo.com/?q=neuroscience+coloring+book&t=newext&atb=v316-1&iax=images&ia=images
Proč?
V dnešním komplikovaném světě se potýkáme s řadou problémů. Při jejich řešení ale často podléháme emocím a hledáme rychlá a zkratkovitá řešení, která mohou mít katastrofální následky. Proto nám dává velký smysl rozvíjet naši kulturu v kritickém přemýšlení, které zohlední všechny nuance a umožní nám vést hlubší a kvalitnější diskuze.
Jak?
Sami i s hosty se zamýšlíme nad řešením problémů, abstrakcí a netradičními úhly pohledu. Často se přitom necháváme inspirovat matematikou, ale nečekejte žádné nudné vzorečky. Snažíme se o uvolněnou a hravou formu, která bude přístupná každému s otevřenou myslí, bez ohledu na vzdělání.
Co?
Podcast, ne asi.
Kdo to platí?
Podcast tvoříme ve svém volném čase a financujeme ho z vlastní kapsy. Pokud Ti dává smysl, pomůžeš nám věnovat se mu tak, jak si zaslouží?
Největší radost nám udělají pravidelné příspěvky, které nám kromě pokrytí nákladů umožní udržitelně růst, rozvíjet obsah a zvyšovat kvalitu. Pokud je Ti ale projekt sympatický a necítíš se na pravidelné platby, budeme rádi i za jednorázový příspěvěk. Pokud se Ti ani tato forma podpory nezamlouvá, nevadí. Podcast je a zůstane zdarma přístupný pro všechny. Vážíme si každého poslechu i sdílení. Děkujeme!
Vláďa Sedláček
Teoretický matematik, praktický kryptolog, zapálený popularizátor. Milovník her a hříček všeho druhu, nadšenec do seberozvoje i teberozvoje. Nezřídka se pokouší generovat roztodivné humory; okolí se zase pokouší je tolerovat.
Jonatan Kolegar
V srdci učitel, v hlavě vědec, v duchu věřící. Výletník, chodec, nadšenec pro Valašsko a Beskydy. Rád se vydává do minulosti skrze kroniky, mapy a matriky; v přítomnosti je spokojen a netrápí se budoucností.
Dává Ti smysl, co děláme? Podpoř nás na 
!
| Naši Traktoři: | Naši Atraktoři: | Naši Protraktoři: |
| Tomáš Perutka | František Falta | |
Našimi sponzory jsou také Česká matematická společnost a Qminers.
Mockrát všem děkujeme za podporu!
Často kladné dotazy
(a zřídka záporné odpovědi)
D: V některých dílech zaznívají slova, která mě hluboce znepokojují. Co mám dělat?
O: Jsme tak trochu matematický podcast. Z toho plyne, že se občas pustíme i do lehce technických diskuzí, ale snažíme se, aby všechny důležité myšlenky mohl s trochou úsilí sledovat každý. Hlavu vzhůru!
D: Pořád se těším na homotopické ekvivalence simpliciální komplexů, ale zatím marně. Kdy už to konečně přijde?
O: Nejsme tak úplně matematický podcast. Je pro nás důležité zaměřovat se na spíš na způsob myšlení a důležité koncepty, než na konkrétní detaily.
D: Jste teda matematický podcast, nebo ne?
O: Toť otázka, že? Co je to vlastně matematika?
D: Přece umění redukovat problémy na lineární algebru, ne?
O: Aha. Tak jdeme na to!
Kontakt
Máš-li jakékoli otázky, nápady nebo připomínky, budeme moc rádi, když nám napíšeš na mistoproblemu@gmail.com.