User contributions for 71.222.0.0/16
Results for 71.222.0.0/16 block log
10 January 2015
- 17:5217:52, 10 January 2015 diff hist +166 Löb's theorem 71.222.77.62 talk →Proof of Löb's theorem: modal fixed point current
31 December 2014
- 15:0715:07, 31 December 2014 diff hist +39 Friis formulas for noise 71.222.44.152 talk →The Friis formula for noise factor: The same parameter can't be used to index the stage-dependent definitions and the total number of stages at the same time. current
24 November 2012
- 20:3820:38, 24 November 2012 diff hist +727 N Talk:Infinitary logic 71.222.128.186 talk No edit summary current