J'aurais bien voulu intervenir à nouveau sur ce post, ne serait-ce que pour faire remarquer que les deux posts :
Envoyé par flenne
Sont contradictoires puisque l'arithmétique de Heyting est justement l'arithmétique intuitionniste ; mais ayant constaté que le ton désagréable du premier post n'était pas une "humeur gracieuse d'ordre 2", mais une constante, j'ai décidé de ne plus intervenir ; et je le regrette profondément tant j'aurais aimé me faire traiter de dogmatique, de tenant de la pensée unique, de bourreau d'Aristarque et de Gödel (moiEnvoyé par flenne
), d'assassin de brave vieux Giordano, de contempteur de Galilée, de rhétoricien (avec nuance péjorative) etc.
Dommage, je sens que je vais déplorer longtemps de ne pas avoir posté cette remarque.
-----