Peter Koellner: On the Question of Whether the Mind Can be Mechanized

New channel Logic, Philosophy and Gödel: title sample judged 'whole' (This channel archives full academic lectures and workshop talks on mathematical logic, foundations of mathematics, and p); passed a second screen for sellers/exam-prep/re-uploads; 2 of 3 sampled transcripts showed teaching, 1 not; titles picked one by one, checked strictly; oEmbed verified.