#### Presentation Title

The Search For Everything

#### Presentation Type

Oral Presentation

#### School

School of Sciences and Social Sciences

#### Discipline

Mathematics

#### Mentor

Vincent Ferlini

#### Abstract

This talk will trace an evolution of a philosophical quandary regarding mathematics. Ancient Greek philosophies of mathematics centered on Platonism, the idea that mathematics exists independent of the human mind. This set the stage for 20th century mathematicians such as David Hilbert and Kurt Godel to penetrate deeper into the heart of mathematics and expose its limitations. This exploration, revealing the limits and paradoxes of axiomatized mathematics, culminated in the dawn of a new age, the age of computation, of mechanized mathematics; this is where we are today. A search for metaphysical meaning in mathematics, initiated by the ancients, has evolved over millennia into a search for all things computable. Presently, it is evolving into a search for the answer to the question: Is the human mind, which conceived of all these things, computable? That is, can the mind be realized in a machine?

The Search For Everything

This talk will trace an evolution of a philosophical quandary regarding mathematics. Ancient Greek philosophies of mathematics centered on Platonism, the idea that mathematics exists independent of the human mind. This set the stage for 20th century mathematicians such as David Hilbert and Kurt Godel to penetrate deeper into the heart of mathematics and expose its limitations. This exploration, revealing the limits and paradoxes of axiomatized mathematics, culminated in the dawn of a new age, the age of computation, of mechanized mathematics; this is where we are today. A search for metaphysical meaning in mathematics, initiated by the ancients, has evolved over millennia into a search for all things computable. Presently, it is evolving into a search for the answer to the question: Is the human mind, which conceived of all these things, computable? That is, can the mind be realized in a machine?