Místo problémů

Vláďa Sedláček & Jonatan Kolegar

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á). read less
ScienceScience
EducationEducation
Society & CultureSociety & Culture
MathematicsMathematics
Self-ImprovementSelf-Improvement
PhilosophyPhilosophy

Episodes

28: André Hernández-Espiet - Euclid, employment and education
10-11-2023
28: André Hernández-Espiet - Euclid, employment and education
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/
27: Ian Jauslin - crystals, complications, and curiosity
14-09-2023
27: Ian Jauslin - crystals, complications, and curiosity
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/