La logique du contenu est la logique interne d'une théorie. La théorie est ici mathématique et la théorie mathématique première est l'arithmétique et ses extensions, ce que l'on peut bien appeler l'arithmétique générale après Kronecker. Le programme kroneckerien (et antifrégéen) dans les fondements des mathématiques signifie que l'on doit fonder la logique et le reste des mathématiques sur l'arithmétique au sens de la théorie des nombres et non au sens de l'arithmétique ensembliste de Peano ou de Dedekind.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Lara entame un stage en psychiatrie d’addictologie, en vue d’ouvrir ensuite une structure d’accueil pour jeunes en situation d’addiction au numérique...
Un douloureux passage à l'âge adulte, entre sensibilité et horreur...
Blanche vient de perdre son mari, Pierre, son autre elle-même. Un jour, elle rencontre Jules, un vieil homme amoureux des fleurs...
Des idées de lecture pour ce début d'année !
