Nuprl Definition : binary-fps
*50/50* ==  [(1/2); (1/2)]
Definitions occuring in Statement : 
qdiv: (r/s)
, 
cons: [a / b]
, 
nil: []
, 
natural_number: $n
FDL editor aliases : 
binary-fps
Latex:
*50/50*  ==    [(1/2);  (1/2)]
Date html generated:
2016_05_15-PM-11_44_46
Last ObjectModification:
2008_02_27-PM-05_47_09
Theory : randomness
Home
Index