User contributions for Fklar
Appearance
A user with 4 edits. Account created on 17 April 2010.
17 April 2010
- 10:4410:44, 17 April 2010 diff hist +35 User:Fklar more links concerning meta
- 10:4210:42, 17 April 2010 diff hist +252 N User:Fklar added some links concerning models, languages and their formal background
- 10:1910:19, 17 April 2010 diff hist −3 m Meta (prefix) →Quine and Hofstadter: fine tuned reference to Quine 1937 (used more common terminology for volume, number, pages)
- 10:1310:13, 17 April 2010 diff hist +164 Meta (prefix) →Quine and Hofstadter: added reference to a publication of Quine where he uses "metatheorem" in the meaning of "an X about X"