New Directions in the Foundations of Mathematics (2002)

Stephen Wolfram ()
Additional contact information
Stephen Wolfram: Wolfram Research

A chapter in Mathematics, Computer Science and Logic - A Never Ending Story, 2013, pp 69-100 from Springer

Abstract: Abstract This talk was given 10 years ago. What it says still stands, but there is now quite a bit more to say. In the 10 years that have passed, much has been done in the exploration of the computational universe, both theoretically, and in applications, particularly in technology. (One notable result, already suspected a decade ago, is a proof of the simplest universal Turing machine.) Also in the intervening years Wolfram | Alpha has arrived, and the notion of computational knowledge that it delivers has quite a few implications for mathematics. Today, for example, we are in the beginning stages of an ambitious project to curate all published theorems of mathematics, and automatically to generate “interesting theorems” from descriptions of mathematical structures.

Keywords: Cellular Automaton; Turing Machine; Axiom System; Diophantine Equation; Complicated Behavior (search for similar items in EconPapers)
Date: 2013
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-00966-7_3

Ordering information: This item can be ordered from
http://www.springer.com/9783319009667

DOI: 10.1007/978-3-319-00966-7_3

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().