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á).

  1. 09/11/2025

    34: Math, mindset and motivation (Paul Ellis)

    Paul Ellis shares his decade's worth of experience with facilitating math circles. We will delve into: - where do math, zen, teaching, acting and parenting meet - what is the right age for problem-solving - why to do activities for their own sake - how to battle the sunk cost fallacy with free classes   Startovač: https://www.startovac.cz/patron/misto-problemu/ FB stránka: https://www.facebook.com/mistoproblemu Web: https://www.mistoproblemu.cz/   Timestamps: (0:00) introduction (0:46) building a math circle (07:01) teaching styles and community (25:20) breaking preconceptions (41:45) zen, ego, and presence (59:43) intrinsic motivation and side benefits   Links: - Westchester Area Math Circle: https://sites.google.com/site/westchestercountymathcircle - Paulus Gerdes: https://www.mi.sanu.ac.rs/vismath/gerdokt/index.html - Mathematics for human flourishing: https://www.francissu.com/flourishing - Five Fabulous Activities for Your Math Circle: https://naturalmath.com/five-fabulous-activities/ - Mathematician's apology: https://archive.org/details/hardy_annotated/page/24/mode/2up - Art of Problem Solving: https://artofproblemsolving.com/ - Nicomachean ethics: https://archive.org/download/AristotlesNicomacheanEthics/Aristotles%20-%20Nicomachean%20Ethics.pdf - What the best college teachers do: https://books.google.cz/books/about/What_the_Best_College_Teachers_Do.html?id=YwPCxQpxKbIC&redir_esc=y - Sonobe modules: https://en.wikipedia.org/wiki/Sonobe - Paul's website: https://www.paulellis.org/ - Paul's mail: paulellis@paulellis.org

    1h 27m
  2. 08/03/2025

    33: Board games and problems (Doug Bonar, Keith Spadez)

    With board gaming veterans Doug and Keith, we explore: - the skills that gaming can teach us - high-level game designs and principles - the social aspect of gaming - our favorite gaming experiences   Startovač: https://www.startovac.cz/patron/misto-problemu/ FB stránka: https://www.facebook.com/mistoproblemu Web: https://www.mistoproblemu.cz/   Timestamps: (0:00) introduction (3:41) learning through games (08:38) breaking games down (24:26) cooperative games and replayability (34:45) gaming mechanisms and their evolution (41:16) the social aspect, luck and interaction (52:52) education and the value of games (1:12:40) gamification, parenting and problem solving   Links: - Board Game Geek: https://boardgamegeek.com/ - Board Game Arena: https://en.boardgamearena.com/ - Barrage: https://boardgamegeek.com/boardgame/251247/barrage - Brass: https://boardgamegeek.com/boardgame/224517/brass-birmingham - Carnegie: https://boardgamegeek.com/boardgame/310873/carnegie - Castles of Burgundy: https://boardgamegeek.com/boardgame/271320/the-castles-of-burgundy - Champions of Midgard: https://boardgamegeek.com/boardgame/172287/champions-of-midgard - Codenames: https://boardgamegeek.com/boardgame/178900/codenames - The Crew: https://boardgamegeek.com/boardgame/284083/the-crew-the-quest-for-planet-nine - Gloomhaven: https://boardgamegeek.com/boardgame/174430/gloomhaven - Grand Austria Hotel: https://boardgamegeek.com/boardgame/182874/grand-austria-hotel - Hanabi: https://boardgamegeek.com/boardgame/98778/hanabi - Inis: https://boardgamegeek.com/boardgame/155821/inis - Keyflower: https://boardgamegeek.com/boardgame/122515/keyflower - Lisboa: https://boardgamegeek.com/boardgame/161533/lisboa - Magic the Gathering: https://boardgamegeek.com/boardgame/463/magic-the-gathering - Marco Polo II: https://boardgamegeek.com/boardgame/283948/marco-polo-ii-in-the-service-of-the-khan - Nucleum: https://boardgamegeek.com/boardgame/396790/nucleum - Obsession: https://boardgamegeek.com/boardgame/231733/obsession - Old West Empresario: https://boardgamegeek.com/boardgame/261342/old-west-empresario - Pandemic Legacy Season 1: https://boardgamegeek.com/boardgame/161936/pandemic-legacy-season-1 - Puerto Rico: https://boardgamegeek.com/boardgame/108687/puerto-rico - Risk: https://boardgamegeek.com/boardgame/181/risk - Lost Ruins of Arnak: https://boardgamegeek.com/boardgame/312484/lost-ruins-of-arnak - Trajan: https://boardgamegeek.com/boardgame/102680/trajan - Trickerion: https://boardgamegeek.com/boardgame/163068/trickerion-legends-of-illusion - Twilight Imperium: https://boardgamegeek.com/boardgame/233078/twilight-imperium-fourth-edition

    1h 26m
  3. 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

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. 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á).