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