Viewing profile — jtc1983

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 a…

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…

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 kn…

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 …

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…

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 cl…