Thread
:
Logic and Mathematics
View Single Post
(#
10
(
permalink
))
AntonioLao
Raider of the lost time
Status:
Offline
Posts: 5,319
Thanks Given: 728
Thanked 124x in 122 Posts
Join Date: Nov 2003
Rep Power
: 74
10-20-2005, 11:53 AM
If I consider myself to be an intuitionist then Guille would be the logicist and Greg would be the formalist.
Time independence:
[∂
E(
g)
]²=[∂
F
(
a
)
×∂
r
(
a
)
]
·
[∂
F
(
b
)
×∂
r
(
b
)
] and Mass independence:
¶
a
(
t
)·
¶
r
(
t
)=
c
²
AntonioLao
View Public Profile
Send a private message to AntonioLao
Find More Posts by AntonioLao