A sweeping conversation on the philosophy of mathematics and set theory, including a few core disagreements, on the About Logic series with Deniz Sarikaya and Thorsten Altenkirch.
Oh touché 32:40! Nobody on this youtube channel ventured a non-formalist interpretation. Everybody hold for ''dear God'' on the axiomatic systems and interpretative models.
I'm not sure I follow. Could you explain a bit more? I took myself to be defending a non-formalist account, and Thorsten also described his thinking, which is not formalist.
Oh touché 32:40! Nobody on this youtube channel ventured a non-formalist interpretation. Everybody hold for ''dear God'' on the axiomatic systems and interpretative models.
I'm not sure I follow. Could you explain a bit more? I took myself to be defending a non-formalist account, and Thorsten also described his thinking, which is not formalist.
No offence intended! I apologize. I wish I wouldn’t have spoken so fast.