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