Místo problémů

Vláďa Sedláček & Jonatan Kolegar
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.

  1. 28: André Hernández-Espiet - Euclid, employment and education

    11/10/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/

    1h 50m
  2. 27: Ian Jauslin - crystals, complications, and curiosity

    09/14/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/

    1h 48m

About

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.

Content Restricted

This episode can’t be played on the web in your country or region.

To listen to explicit episodes, sign in.

Stay up to date with this show

Sign in or sign up to follow shows, save episodes, and get the latest updates.

Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada