TNT a dit le dimanche 27 mai 2012 |
philosophy of math= madness ^^ |
lsga a dit Quine le vendredi 15 juin 2012 |
J'aime bien la solution de Quine basé sur la génération des nombres réels par substitution de d'énoncé (les phi, psy, etc) plutôt que par concept du second ordre : on se dote toujours de l'ontologie dont on a besoin, mais de l'ontologie la plus petite possible. c'est un peu le rasoir d'ockham des temps moderne |