FYI:The Evolving Foundations of Math

[alex.shkotin]

https://www.quantamagazine.org/series/the-evolving-foundations-of-math/

It may be coherent with our meeting today.

Alex

[John F Sowa]

Alex,

An evolving foundation impllies that there is no possibility of a fixed formal ontology for math.  There is no fixed formal ontology for any subject that has new discoveries at a fundamental level -- that includes every branch of science, technology, business, and life.

Conclusion:  Every ontology is subject to change at any and every level.  There can be no fixed, final, best foundation for ontology.

John 

 

---

From: "alex.shkotin" <alex.s...@gmail.com>
Sent: 4/1/26 4:32 AM
To: "ontolog-forum" <ontolo...@googlegroups.com>
Subject: [ontolog-forum] FYI:The Evolving Foundations of Math

https://www.quantamagazine.org/series/the-evolving-foundations-of-math/

It may be coherent with our meeting today.

Alex

--

All contributions to this forum are covered by an open-source license.

For information about the wiki, the license, and how to subscribe or

unsubscribe to the forum, see http://ontologforum.org/info

---

You received this message because you are subscribed to the Google Groups "ontolog-forum" group.

To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.

To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/49e41b1e-783b-41fd-bba9-bee6ff447897n%40googlegroups.com.

[Ken Baclawski]

Yes, I will be talking about the Cantor revolution today.  For a more thorough treatment, see

K. Baclawski. Much Ado about Everything. J. Wash. Acad. Sci. 109(4):49-68. (2023) http://washacadsci.org/Journal/Journalarticles/V.109.4%20-%20Much%20Ado%20About%20Everything%20-%20K.%20Baclawski.pdf

I will also talk about truth.  I presented an approach to proof using explanation rather than truth at the Ontology Summit 2019 Explanations https://s3.amazonaws.com/ontologforum/OntologySummit2019/Narrative/ProofAsExplanationAndNarrative--KenBaclawski_20190130.pdf

Ken

--