Towards a coherent theory of physics and mathematics

被引:28
作者
Benioff, P [1 ]
机构
[1] Argonne Natl Lab, Div Phys, Argonne, IL 60439 USA
关键词
coherent theory; physics; mathematics;
D O I
10.1023/A:1016561108807
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
As an approach to a Theory of Everything a framework for developing a coherent theory of mathematics and physics together is described. The main characteristic of such a theory is discussed: the theory must be valid and and sufficiently strong, and it must maximally describe its own validity and sufficient strength. The mathematical logical definition of validity is used, and sufficient strength is seen to be a necessary and useful concept. The requirement of maximal description of its own validity and sufficient strength may be useful to reject candidate coherent theories for which the description is less than maximal. Other aspects of a coherent theory discussed include universal applicability, the relation to the anthropic principle, and possible uniqueness. It is suggested that the basic properties of the physical and mathematical universes are entwined with and emerge with a coherent theory. Support for this includes the indirect reality status of properties of very small or very large far away systems compared to moderate sized nearby systems. Discussion of the necessary physical nature of language includes physical models of language and a proof that the meaning content of expressions of any axiomatizable theory seems to be independent of the algorithmic complexity of the theory. Godel maps seem to be less useful for a coherent theory than for purely mathematical theories because all symbols and words of any language must have representations as states of physical systems already in the domain of a coherent theory.
引用
收藏
页码:989 / 1029
页数:41
相关论文
共 103 条
[1]   Simulations of many-body Fermi systems on a universal quantum computer [J].
Abrams, DS ;
Lloyd, S .
PHYSICAL REVIEW LETTERS, 1997, 79 (13) :2586-2589
[2]  
ALBERT D, 1990, P 1988 WORKSH SANT F
[3]   ON QUANTUM-MECHANICAL AUTOMATA [J].
ALBERT, DZ .
PHYSICS LETTERS A, 1983, 98 (5-6) :249-252
[4]   A QUANTUM-MECHANICAL AUTOMATON [J].
ALBERT, DZ .
PHILOSOPHY OF SCIENCE, 1987, 54 (04) :577-585
[5]  
[Anonymous], 1996, BOUNDARIES BARRIERS
[6]  
[Anonymous], COSMOS CONSCIOUSNESS
[7]  
BARROW JD, 1989, ANTHROPOC COSMOLOGIC
[8]  
Beeson M.J., 1985, Foundations of Constructive Mathematics
[9]   Simple example of definitions of truth, validity, consistency, and completeness in quantum mechanics [J].
Benioff, P .
PHYSICAL REVIEW A, 1999, 59 (06) :4223-4237
[10]   Representation of natural numbers in quantum mechanics [J].
Benioff, P .
PHYSICAL REVIEW A, 2001, 63 (03) :1-11