Actions

Ontolog Forum

Session Track 1
Duration 1 hour
Date/Time 05 Feb 2025 17:00 GMT
9:00am PST/12:00pm EST
5:00pm GMT/6:00pm CET
Convener Gary Berg-Cross

Ontology Summit 2025 Track 1

Agenda

Michael Gruninger

  • Title: The Heirs of Hilbert's Sixth Problem
  • Abstract: In an address to the International Congress on Mathematicians in 1900, David Hilbert posed twenty-three challenge problems, in areas ranging from logic to number theory and partial differential equations. These problems have had a profound impact on research in mathematics. However, the sixth problem posed by Hilbert has never been adequately addressed: ``Mathematical treatment of the axioms of physics: The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part." This talk will explore the ways in which ontologies are the axiomatic theories required by Hilbert as a solution to his Sixth Problem. It will also consider how the methodology for evaluating scientific theories can be applied to the problem of empirical evaluation of ontologies.

Conference Call Information

Participants

Discussion

Resources

Previous Meetings

 Session
ConferenceCall 2025 01 29Track 1
ConferenceCall 2025 01 22Keynote
ConferenceCall 2025 01 15Overview

Next Meetings

 Session
ConferenceCall 2025 02 12Track 1