kStro wrote:It is possible to have absolute knowledge with regards to the truth of mathematical propositions concerning abstract entities.
kStro wrote:Whilst this may not be possible with regards to mathematical abstractions in the sense of contemporary and historical mathematics, computer code is deterministic and in this sense, is not a computer simulation also a mathematical theorem?
kStro wrote:And is there not more hope for computer simulation in achieving this task of recreating reality than conventional mathematics? Or might it be necessary to find a combined approach, with mathematical abstractions describing entities like space and time, and computer code simulating the actions of matter under such a mathematical framework?
Forest_Dump wrote:In fact, as far as I know, math is the only branch of science for which there is an unambiguous definition of "proof".
Reuben Hersh wrote:I do not know anyone who thinks either that this project can be completed, or that even if claimed to be complete it would be universally accepted as a convincing proof of Kepler’s conjecture.
Users browsing this forum: No registered users and 2 guests