Réponses
-
Le sommaire que donne @Dom correspond à la version que je possède. Le livre dans le lien de dans Théorie de l'intégration Commentaire de Martial 7 Apr
-
Le livre de Marc Briane et Gilles Pagès : "Théorie de l'intégration" chez Vuibert semble répondre à merveille à tes desiderata. Il ne parle pas de Kurzweil-Henstock, mais là-dessus on peut trouver pléthore d'informations sur la toile.
-
Merci AD.
[À ton service. AD] -
Merci à qui sait faire de remplacer cet horrible smiley par un B suivi d'une parenthèse.[Par exemple insérer une espace.@Congru : à très bientôt j'espère, et merci pour la confiance que tu nous témoignes.@Médiat_Suprème : Effectivement.@GG : donc ce que j'ai …@gerard0 : Bien vu ! Mais peut-être que dans l'univers d'Alain Lyon il y a un nombre non standard de jours (et donc aussi de 1er avril) dans l'année !
@AlainLyon : tu dis n'importe quoi ! La physique des particules n'a rien à voir là-dedans. Ce que j'appelle le modèle standard c'est simplement l'objet $\mathb…@AlainLyon : justement @GG veut qu'on n'utilise que les axiomes de Peano (je pens…@Congru : OK, ça me revient maintenant.
@Congru : peux-tu mettre un lien vers le dernier message auquel tu fais allusion ? Je ne vois pas du tout de quoi tu veux parler.
@Ludwig : quand on ne précise pas c'est toujours relativement au système ZFC. A ce sujet ce qui a été dit plus haut n'est pas tout à fait exact. Ce qui est facile…dans Zéro dièse (i.e. $0^\#$) existe, art, mathématiques, inesthétique Commentaire de Martial 15 Mar@Médiat : Oui tu as raison, j'aurais dû préciser que si on veut que l'extension soit conservative il faut (et d'ailleurs il suffit) que les nouveaux symboles soie…@Congru : j'utilise la même construction des formules que tout le monde : plus petite classe qui contient les formules atomiques et qui est close par les connecte…A la base la théorie $T$ est écrite dans un langage et un seul, donc inutile de le faire figurer dans les notations. Maintenant, tu peux t'amuser à rajouter autant de symboles que tu veux au langage. Tu obtiens ainsi une théorie $T'$ qui a les …Je pense qu'historiquement l'adjectif "pur" vient du fait qu'au début on ne croyait pas du tout à l'existence de bestioles du type $3+2i$. Du coup ce qu'on appelait "nombres imaginaires", c'était... tous les nombres complexes. Quand la terminol…Dans mon post précédent je me référais implicitement à la version de NBG avec schéma de compréhension prédicatif et axiome de limitation fort : une classe est en bijection avec l'univers ssi elle est propre.Si on prend seulement la v…@Poirot : "AlainLyon va bientôt nous bassiner avec le fait qu'il a montré que NBG est non consistante, bravo..."MDR. Je le sais pertinemment, mais comm…@AlainLyon : 1) Non, tu ne peux pas remplacer famille par collection dans l'énoncé de l'axiome du choix. Une famille est un ENSEMBLE, plus précisément une fonc…Salut @manu, moi aussi je vais essayer de pondre quelque chose. J'insisterai sur les progrès que j'ai réussi à faire dans certain(s) domaine(s) grâce aux intervenants du…Merci @Poirot, c'est très clair.
@Poirot : Excuse mon ignorance, mais c'est quoi un réel qui a une mesure d'irrationalité $2$ ?
@marco : tu trouveras davantage d'informations dans mon chap 23 (auto-pub, mais du coup cela m'a fait penser à te rajouter dans ma liste "acknowledgements" dans la vers…Et c'est justement l'erreur de Lebesgue qui a permis de définir la notion d'ensemble analytique, puis toute la hiérarchie projective. Comme quoi les erreurs sont parfois sources de grandes découvertes...
@Poirot : "mais je ne suis pas certain qu'il soit décidable dans ZFC qu'il y a strictement plus que le continu de parties de $\omega_1$".Non, suite aux…Merci Thierry. Mon intuition était bonne, mais j'avais légèrement modifié la phrase.A part ça je vais bien, et j'espère qu'il en est de même pour toi.7) Le modèle standard est, à isomorphisme près, le seul à être bien ordonné par $\leq$, où $\leq$ est définie par$$a \leq b \Leftrightarrow \exists c (b=a+c).$$Or, $\mathbb{N}$ est bien ordonné par $\leq$. Donc on peut rép…Toutes ces identifications relèvent de la pure convention. Par exemple quand tu écris $\mathbb{N} \subseteq \mathbb{Z}$ (ce qu'on fait dès le plus jeune âge), ensemblistement c'est faux, puisque $3=\{0,1,2\}$ est un ensemble à 3 éléments, tandi…Pour un produit fini chacun fait comme il veut. Tu peux voir le triplet $(a,b,c)$ comme $(a,(b,c))$, où $()$ désigne la paire de Kuratowski. Tu peux aussi le voir comme $((a,b),c)$, ou encore comme la fonction $f:\{0,1,2\} \to \{a,b,c\}$ défini…@Neknek : Thanks God tu n'as pas besoin de l'axiome du choix pour définir les réels. Le schéma de compréhension suffit.D'abord, il est facile de vérifi…@nicolas.patrois : merci pour cette publicité gratuite et pour ce lien.@Seirios : ce qui n'est plus autorisé c'est de faire une thèse sans revenus. Un jeune ayant un M2 en poche et pas d'emploi doit donc impérativement trouver un fi…@rw : Le financement n'est pas un problème. Tu t'auto-finances via ta pension de retraite. Ce qu'il faudrait avant tout c'est que tu détermines assez précisément le domain…@raoul.S : attention, l'ombre de Nyarlathotep n'est pas loin...
Donc ce forum-ci me suffit amplement, sauf intrusion rare sur stackexchange, qui est sympa mais qui a un fonctionnement un peu especial.
@Foys : j'ai été un peu sec dans mon précédent post. Je ne me prive pas du forum Bibmachin, c'est juste que je ne veux pas tomber accro, comme c'est arrivé par le passé …@gebrane : je viens seulement de voir ta question, et @i.zitoussi y a répon…@gebrane : oui, le gros crash a duré un mois et 2 jours. Du 26 août au 28 septembre. D'après ce que j'ai pu lire sur un forum concurrent (dont je ne suis pas membre),…