Time in thermodynamics

被引:4
作者
da Costa, NCA
Sant'Anna, AS
机构
[1] Univ Sao Paulo, Inst Adv Studies, BR-05655010 Sao Paulo, Brazil
[2] Univ Fed Parana, Dept Math, BR-81531990 Curitiba, Parana, Brazil
关键词
Padoa's principle; axiomatic method; time; thermodynamics;
D O I
10.1023/A:1021458908383
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without time as a primitive concept.
引用
收藏
页码:1785 / 1796
页数:12
相关论文
共 19 条
[1]  
[Anonymous], STUDIES LOGIC FDN MA
[2]  
[Anonymous], 1958, Introduction to Symbolic Logic and its Applications
[3]  
BETH WE, 1953, INDAG MATH, V15, P330
[4]  
Bourbaki N., 1968, Theory of Sets
[5]   The mathematical role of time and spacetime in classical physics [J].
da Costaa, NCA ;
Sant'Anna, AS .
FOUNDATIONS OF PHYSICS LETTERS, 2001, 14 (06) :553-563
[6]  
DACOSTA NCA, 1988, ERKENNTNIS, V29, P95
[7]  
Davies P., 1995, TIME EINSTEINS UNFIN
[8]  
Doob JL, 1994, MEASURE THEORY
[9]   Black hole evaporation entails an objective passage of time [J].
Elitzur, AC ;
Dolev, S .
FOUNDATIONS OF PHYSICS LETTERS, 1999, 12 (04) :309-323
[10]  
GODEL K, 1949, A EINSTEIN PHILOS SC, V2, P557