Analytic Philosophy and the Halting Problem
The Halting Problem The Halting Problem (Wikipedia) The Halting Problem (Number Analytics) In Relation to Analytic Philosophy (Grant Jurgensen) Importance of the Halting Problem (Computer Science Stack Exchange) Origins of the Halting Problem (Science Direct) ... Church-Turing Thesis Church-Turing Thesis (Wikipedia) Church-Turing (Math Overflow) ... On Curry-Howard: Logic and Computing Logic ~ Computing (Number Analytics) Pragmatic Twist of the Linguistic Turn (sandbote.net) ... Church-Turing ~ Curry-Howard Approaches to the Halting Problem (arxiv) ...