User contributions for Adam.conkey
Appearance
Results for Adam.conkey talk block log uploads logs global block log global account filter log
A user with 7 edits. Account created on 28 February 2013.
9 August 2013
- 15:4515:45, 9 August 2013 diff hist +4 m Continuum hypothesis →Arguments for and against CH: First sentence, changed "his proof that CH is consistent" to "his proof that CH is independent of ZFC". It doesn't make sense for a singe statement (CH) to be consistent, it is independent of the system.
27 April 2013
- 13:3113:31, 27 April 2013 diff hist 0 Dynamic binding No edit summary
- 13:3013:30, 27 April 2013 diff hist +8 Dynamic binding No edit summary
- 13:2813:28, 27 April 2013 diff hist −1 Dynamic binding No edit summary
15 April 2013
- 12:5312:53, 15 April 2013 diff hist +300 Talk:Tracing (software) →Missing
4 March 2013
- 23:2523:25, 4 March 2013 diff hist −3 m Symbolic execution →Path Explosion
- 23:2223:22, 4 March 2013 diff hist +1,313 Symbolic execution →Limitations: divided into sub-sections, expanded on description of path explosion and added more references, re-worded the existing text.