[ home | bbs | files | messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 260,979 of 262,912   
   Ross Finlayson to All   
   Re: T-theory A-theory theatheory (3/6)   
   16 Nov 25 12:26:16   
   
   [continued from previous message]   
      
   Φ(n,p) ≡ (n=0 ∧ p=p₀) ∨ ∃q∈ℚ ∃p′ (Φ(n−1,p′) ∧ q

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca