""" Are we all *actually* "as if" personalities? And those who think they're not are delusional?
""" I think I agree with this. What I like about what Marcus did was that he took the time to formalize Eric's thoughts. Now we have something like an object to probe and to discuss, so again cheers. As you point out, there are proto-logical assumptions whose soundness are questionable, yet maybe further able to be modelled. Often discussions of this type barely get so far. Further, those that wish to take the time, could produce constellations of additional models in Lean 4. We could develop Geometric functors between them and build doctrines, all-the-while comparing where sense is dropped or accumulated in the process. For all of the good that Cauchy's formalizations have done, one should also acknowledge that its success diverted resources from Euler's program (eventually reignited by Robinson). Today, I am happy to have both.
.- .-.. .-.. / ..-. --- --- - . .-. ... / .- .-. . / .-- .-. --- -. --. / ... --- -- . / .- .-. . / ..- ... . ..-. ..- .-.. FRIAM Applied Complexity Group listserv Fridays 9a-12p Friday St. Johns Cafe / Thursdays 9a-12p Zoom https://bit.ly/virtualfriam to (un)subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/ 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/
