Brian is a logician pilot with linguistic insights. We will delve into:

- why to keep logicians alive

- what to put on aviation checklists

- where humor influences education

- how to ignore people better thanks to linguistics

Startovač: https://www.startovac.cz/patron/misto-problemu/

FB page: https://www.facebook.com/mistoproblemu

Web: https://www.mistoproblemu.cz/

Timestamps:

(0:00) introduction

(2:56) Russell's Paradox and the Hilbert program

(12:28) the importance of logic

(17:21) engineering versus logic

(30:08) the philosophy of safe flying

(42:15) skillsets for different planes

(55:40) parallels between flying and other fields

(1:05:55) aviation checklists

(1:18:00) humor and education

(1:26:11) everyday linguistic applications

(1:32:51) unusual hobbies

Links:

- Russel's paradox: https://en.wikipedia.org/wiki/Russell%27s_paradox

- Gödel's incompleteness theorems: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems

- the collision that ended well: https://en.wikipedia.org/wiki/1940_Brocklesby_mid-air_collision

- Checklist manifesto: https://www.goodreads.com/book/show/6667514-the-checklist-manifesto

- Czech phonology: https://en.wikipedia.org/wiki/Czech_phonology

- trucker's hitch: https://en.wikipedia.org/wiki/Trucker's_hitch

Dustin Young is the president of the Rutgers chess club with an interest in historiography. We will explore:

- what was Newton's take on religion

- why study the interface of history, science, politics, and philosophy

- where does chess come from and how it evolved

- how to impress friends with a Taylor series party trick

Startovač: https://www.startovac.cz/patron/misto-problemu/

FB page: https://www.facebook.com/mistoproblemu

Web: https://www.mistoproblemu.cz/

Timestamps:

(0:00) introduction

(0:56) historiography, Newton, and religion

(17:31) natural philosophers and seperation of sciences

(22:35) sources, bias, and motivation

(36:03) cultures and approaches to chess

(44:35) origin and developments of chess

(57:15) no true objectivity

Links:

- Newton project: https://www.newtonproject.ox.ac.uk/

- council of Nicaea: https://www.britannica.com/event/First-Council-of-Nicaea-325

- De Morgan's laws: https://www.geeksforgeeks.org/de-morgans-law/

- bongcloud: https://chess.fandom.com/wiki/Bongcloud

- Taylor series: https://en.wikipedia.org/wiki/Taylor_series

- chaturanga: https://www.chess.com/terms/chaturanga-game

- xiangqi: https://www.xiangqi.com/history

Alex Kontorovich is a Distinguished Professor of Mathematics at Rutgers University with lots of experience in teaching and outreach. In our talk, we will touch on diverse topics, including:

- why care about math (and its history)

- what can outsiders bring to the table

- how useful it is to be the dumbest in the room

- where music meets math and where it doesn't

Startovač: https://www.startovac.cz/patron/misto-problemu/

FB page: https://www.facebook.com/mistoproblemu

Web: https://www.mistoproblemu.cz/

Timestamps:

(0:00) introduction

(00:46) problems, proofs, and thinking styles

(13:16) outreach, motivation, and explaining concepts

(28:06) interdisciplinarity and outsiders

(33:30) people teaching computers and vice versa

(39:52) stamina, humility, music, and gratitude

Links:

- MoMath: https://momath.org/

- Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4

- Lean in the browser: https://live.lean-lang.org/

- Prime Number Theorem project: https://github.com/AlexKontorovich/PrimeNumberTheoremAnd

- other Lean projects: https://leanprover-community.github.io/lean_projects.html

- polymath projects: https://polymathprojects.org/

- Alex's website: https://sites.math.rutgers.edu/~alexk/

In this condensed episode, Julián Hernández-Serrano employs his diverse backgrounds and personal experience to share with us:

- how can good narratives help us solve problems

- what can hurricanes teach us

- why should we be careful when coding

- when to ground ourselves in the center

Startovač: https://www.startovac.cz/patron/misto-problemu/

FB page: https://www.facebook.com/mistoproblemu

Web: https://www.mistoproblemu.cz/

Timestamps:

(0:00) introduction

(2:28) capitalizing on different backgrounds

(7:57) Puerto Rican environment and survivalist mindset

(13:32) using storytelling for problem solving

(22:30) a favorite story

(26:42) systematizing experiments on narratives

(33:55) the impact of the internet

(36:44) the importance of staying in the center

Links:

- Roger Schank: https://www.rogerschank.com/What-We-Learn-When-We-Learn-by-Doing, https://www.youtube.com/watch?v=c5Ah3Om-sFY

- Stories in problem solving: https://www.researchgate.net/publication/226534846_Case-based_reasoning_and_instructional_design_Using_stories_to_support_problem_solving, https://www.researchgate.net/publication/227714410_The_effects_of_case_libraries_on_problem_solving

- Julián's mail: julian.hernandez@upr.edu

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/

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/

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/