sci.logic
[Top] [All Lists]
<prev [Date] next>
<prev [Thread] next>

Re: how to define Thm in PRA

from [Aatu Koskensilta]
Subject: Re: how to define Thm in PRA
From: Aatu Koskensilta
Date: Mon, 30 Oct 2006 04:24:21 +0200
Newsgroups: sci.logic 
george wrote:

Peter was then talking about a different theory


Shit.
We are all always talking about PRA.


Eh. No.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
 - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date:  Re: The L3 Revolution, Jan Burse
Next by Date:  Re: On Ultrafinitism, Rupert
Previous by Thread:  Re: how to define Thm in PRA, george
Next by Thread:  Re: how to define Thm in PRA, george
Indexes:  [Date] [Thread] [Top] [All Lists]
Privacy Policy