Difference between revisions of "The limits and guesses in math"

From apm
Jump to: navigation, search
m (category + speculative)
m (added good formulation in introsentence - merge in article instead?)
Line 2: Line 2:
 
{{speculative}}
 
{{speculative}}
 
  math is not an exact science
 
  math is not an exact science
 +
the necessity of faith in Axioms outside the proof system
  
 
Does a number which is not representable by the means that our universe provide ([[big bang as spontaneous demixing event|amount of demixing in the big bang]]) us even exist?
 
Does a number which is not representable by the means that our universe provide ([[big bang as spontaneous demixing event|amount of demixing in the big bang]]) us even exist?

Revision as of 07:07, 3 October 2015

This article is a stub. It needs to be expanded.
This article is speculative. It covers topics that are not straightforwardly derivable from current knowledge. Take it with a grain of salt. See: "exploratory engineering" for what can be predicted and what not.
math is not an exact science
the necessity of faith in Axioms outside the proof system

Does a number which is not representable by the means that our universe provide (amount of demixing in the big bang) us even exist? Ridiculously large numbers can easily be represented by simple compression methods e.g. the ackermann function but between those numbers there are gaping holes of unrepresentability. While we don't know which of the ridiculously big numbers we can represent in a smaller compressed form we can be certain that there are unaccountably many more which certainly can't be represent within the limits of our universe.

Disclaimer: All "certainties" in this article (and anywhere else in this universe) are only certainties to the degree of practicability from experience.

Related

  • the severe limitedness of pseuo random number generators - inaccessibility of vast ranges
  • Chaitin's constant
  • The program that calculates all construable programs in cantor triangle style - A true but useless theory of everything