NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.014 seconds)

Spelling suggestions: "subject:"takeuti"" "subject:"hakeutui""

1

From the Outside Looking In: Can mathematical certainty be secured without being mathematically certain that it has been?

Souba, Matthew January 2019 (has links)
No description available.
Philosophy
Philosophy of Mathematics
Foundations of Mathematics
Hilbert Program
partial Hilbert program
Goedel Incompleteness Theorems
reductive proof theory
mathematical naturalism
Gentzen
Takeuti
Feferman
Detlefsen
Maddy

Page generated in 0.0164 seconds