These quotes from Girard are great, as is the mention of Frege below. Typically, the objects related by equality can be thought to have the same meaning with respect to extension and different meanings with respect to…
Though I don't know much about philosophy of science, I'm studying for a doctoral degree in philosophy and study foundations of math and related topics in philosophy of mathematics and logic (i.e., an allied subfield of…
I agree with your thought, and that of the majority of mathematicians for many years, that infinitesimals are better construed heuristically than literally. You mention that you know of non-standard analysis and…
Why "classical" computers? Is there some other kind of computer that isn't emulatable in wood that could become conscious? Hard to know exactly what you mean here.
Whoops -- Lambek and Scott is 1986. My apologies
Yes, this ^^ There is even a mathematical case to be made that there are always "more relationships out there to discover." One of the more plausible, sober interpretations of the various limitative phenomena in the…
Looking at TAPL, it seems like a good text coming at things from the theoretical computer science angle. I'm unsure how exactly to branch out from there, since my own background is more in math logic. So prob best to…
Use of the phrase "not-necessarily-all-that-well-founded" is unfortunate since standard set theory studies the properties of extensional, well-founded objects in general. Though clearly you didn't have the technical…
These quotes from Girard are great, as is the mention of Frege below. Typically, the objects related by equality can be thought to have the same meaning with respect to extension and different meanings with respect to…
Though I don't know much about philosophy of science, I'm studying for a doctoral degree in philosophy and study foundations of math and related topics in philosophy of mathematics and logic (i.e., an allied subfield of…
I agree with your thought, and that of the majority of mathematicians for many years, that infinitesimals are better construed heuristically than literally. You mention that you know of non-standard analysis and…
Why "classical" computers? Is there some other kind of computer that isn't emulatable in wood that could become conscious? Hard to know exactly what you mean here.
Whoops -- Lambek and Scott is 1986. My apologies
Yes, this ^^ There is even a mathematical case to be made that there are always "more relationships out there to discover." One of the more plausible, sober interpretations of the various limitative phenomena in the…
Looking at TAPL, it seems like a good text coming at things from the theoretical computer science angle. I'm unsure how exactly to branch out from there, since my own background is more in math logic. So prob best to…
Use of the phrase "not-necessarily-all-that-well-founded" is unfortunate since standard set theory studies the properties of extensional, well-founded objects in general. Though clearly you didn't have the technical…