Matematikens mystik och praktik [Filosofisk Kalender 1:182-187] september 12, 1982 användning begreppstänjning bevis cirkeldefinition Einstein essens fysik historia konst konventionalism Lakatos matematik materialism mening Principia Quine tilltro världbild Wittgenstein ändamål +