# sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-1 # text = Phrase cryptique 1 Phrase phrase NOM _ _ 0 root _ _ _ _ _ 2 cryptique cryptique ADJ _ _ 1 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-2 # text = Que veut dire la phrase « On n'aurait pas encore falsifié de théorème majeur avec ces méthodes » à propos des logiques non-standards ? 1 Que que? PRQ _ _ 3 dep _ _ _ _ _ 2 veut vouloir VRB _ _ 12 subj _ _ _ _ _ 3 dire dire VNF _ _ 2 dep _ _ _ _ _ 4 la le DET _ _ 5 spe _ _ _ _ _ 5 phrase phrase NOM _ _ 2 subj _ _ _ _ _ 6 « « PUNC _ _ 18 punc _ _ _ _ _ 7 On On NOM _ _ 5 dep _ _ _ _ _ 8 n' ne ADV _ _ 12 dep _ _ _ _ _ 9 aurait avoir VRB _ _ 12 aux _ _ _ _ _ 10 pas pas encore ADV _ _ 11 dep _ _ _ _ _ 11 encore pas encore ADV _ _ 12 dep _ _ _ _ _ 12 falsifié falsifier VPP _ _ 0 root _ _ _ _ _ 13 de de PRE _ _ 12 dep _ _ _ _ _ 14 théorème théorème NOM _ _ 13 dep _ _ _ _ _ 15 majeur majeur ADJ _ _ 14 dep _ _ _ _ _ 16 avec avec PRE _ _ 12 dep _ _ _ _ _ 17 ces ce DET _ _ 18 spe _ _ _ _ _ 18 méthodes méthode NOM _ _ 16 dep _ _ _ _ _ 19 » » PUNC _ _ 18 punc _ _ _ _ _ 20 à à propos de PRE _ _ 12 dep _ _ _ _ _ 21 propos à propos de DET _ _ 20 dep _ _ _ _ _ 22 des à propos de PRE _ _ 21 dep _ _ _ _ _ 23 logiques logique ADJ _ _ 24 dep _ _ _ _ _ 24 non-standards non- NOM _ _ 22 dep _ _ _ _ _ 25 ? ? PUNC _ _ 12 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-3 # text = Rien , c'est une faute de frappe , 1 Rien rien NOM _ _ 4 periph _ _ _ _ _ 2 , , PUNC _ _ 1 punc _ _ _ _ _ 3 c' ce CLS _ _ 4 subj _ _ _ _ _ 4 est être VRB _ _ 0 root _ _ _ _ _ 5 une un DET _ _ 6 spe _ _ _ _ _ 6 faute faute NOM _ _ 4 dep _ _ _ _ _ 7 de de PRE _ _ 6 dep _ _ _ _ _ 8 frappe frappe NOM _ _ 7 dep _ _ _ _ _ 9 , , PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-4 # text = « On n'aurait pas encore démontré de théorème majeur avec ces méthodes » est la phrase voulue . 1 « « PUNC _ _ 13 punc _ _ _ _ _ 2 On On NOM _ _ 7 subj _ _ _ _ _ 3 n' ne ADV _ _ 7 dep _ _ _ _ _ 4 aurait avoir VRB _ _ 7 aux _ _ _ _ _ 5 pas pas encore ADV _ _ 6 dep _ _ _ _ _ 6 encore pas encore ADV _ _ 7 periph _ _ _ _ _ 7 démontré démontrer VPP _ _ 15 subj _ _ _ _ _ 8 de de PRE _ _ 7 dep _ _ _ _ _ 9 théorème théorème NOM _ _ 8 dep _ _ _ _ _ 10 majeur majeur ADJ _ _ 9 dep _ _ _ _ _ 11 avec avec PRE _ _ 7 dep _ _ _ _ _ 12 ces ce DET _ _ 13 spe _ _ _ _ _ 13 méthodes méthode NOM _ _ 11 dep _ _ _ _ _ 14 » » PUNC _ _ 13 punc _ _ _ _ _ 15 est être VRB _ _ 0 root _ _ _ _ _ 16 la le DET _ _ 17 spe _ _ _ _ _ 17 phrase phrase NOM _ _ 15 dep _ _ _ _ _ 18 voulue vouloir ADJ _ _ 17 dep _ _ _ _ _ 19 . . PUNC _ _ 15 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-5 # text = Merci de la remarque . 1 Merci merci NOM _ _ 0 root _ _ _ _ _ 2 de de PRE _ _ 1 dep _ _ _ _ _ 3 la le DET _ _ 4 spe _ _ _ _ _ 4 remarque remarque NOM _ _ 2 dep _ _ _ _ _ 5 . . PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-6 # text = Je suis désolé , mais je ne comprends pas plus . 1 Je je CLS _ _ 3 subj _ _ _ _ _ 2 suis être VRB _ _ 3 aux _ _ _ _ _ 3 désolé désoler VPP _ _ 0 root _ _ _ _ _ 4 , , PUNC _ _ 8 punc _ _ _ _ _ 5 mais mais COO _ _ 8 mark _ _ _ _ _ 6 je je CLS _ _ 8 subj _ _ _ _ _ 7 ne ne ADV _ _ 8 dep _ _ _ _ _ 8 comprends comprendre VRB _ _ 3 para _ _ _ _ _ 9 pas pas ADV _ _ 8 dep _ _ _ _ _ 10 plus plus ADV _ _ 8 dep _ _ _ _ _ 11 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-7 # text = Je vois pas ce que vient faire ce conditionnel . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 vois voir VRB _ _ 0 root _ _ _ _ _ 3 pas pas ADV _ _ 2 dep _ _ _ _ _ 4 ce ce PRQ _ _ 2 dep _ _ _ _ _ 5 que que PRQ _ _ 6 dep _ _ _ _ _ 6 vient venir VRB _ _ 4 dep _ _ _ _ _ 7 faire faire VNF _ _ 6 dep _ _ _ _ _ 8 ce ce DET _ _ 9 spe _ _ _ _ _ 9 conditionnel conditionnel ADJ _ _ 6 subj _ _ _ _ _ 10 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-8 # text = Est -ce que cela se veut être une affirmation du genre « A ce jour , aucun théorème majeur n'a été démontré en utilisant seulement les techniques de démonstration de l'analyse non-standard » ? 1 Est être VRB _ _ 0 root _ _ _ _ _ 2 -ce ce CLS _ _ 1 subj _ _ _ _ _ 3 que que CSU _ _ 1 dep _ _ _ _ _ 4 cela cela PRQ _ _ 6 subj _ _ _ _ _ 5 se se CLI _ _ 6 dep _ _ _ _ _ 6 veut vouloir VRB _ _ 3 dep _ _ _ _ _ 7 être être NOM _ _ 6 dep _ _ _ _ _ 8 une un DET _ _ 9 spe _ _ _ _ _ 9 affirmation affirmation NOM _ _ 0 root _ _ _ _ _ 10 du de PRE _ _ 9 dep _ _ _ _ _ 11 genre genre NOM _ _ 10 dep _ _ _ _ _ 12 « « PUNC _ _ 9 punc _ _ _ _ _ 13 A A PRE _ _ 9 dep _ _ _ _ _ 14 ce ce DET _ _ 15 spe _ _ _ _ _ 15 jour jour NOM _ _ 13 dep _ _ _ _ _ 16 , , PUNC _ _ 17 punc _ _ _ _ _ 17 aucun aucun DET _ _ 18 spe _ _ _ _ _ 18 théorème théorème NOM _ _ 23 subj _ _ _ _ _ 19 majeur majeur ADJ _ _ 18 dep _ _ _ _ _ 20 n' ne ADV _ _ 23 dep _ _ _ _ _ 21 a avoir VRB _ _ 22 aux _ _ _ _ _ 22 été être VPP _ _ 23 aux _ _ _ _ _ 23 démontré démontrer VPP _ _ 9 dep _ _ _ _ _ 24 en en PRE _ _ 23 dep _ _ _ _ _ 25 utilisant utiliser VPR _ _ 24 dep _ _ _ _ _ 26 seulement seulement ADV _ _ 25 dep _ _ _ _ _ 27 les le DET _ _ 28 spe _ _ _ _ _ 28 techniques technique NOM _ _ 25 dep _ _ _ _ _ 29 de de PRE _ _ 28 dep _ _ _ _ _ 30 démonstration démonstration NOM _ _ 29 dep _ _ _ _ _ 31 de de PRE _ _ 9 dep _ _ _ _ _ 32 l' le DET _ _ 33 spe _ _ _ _ _ 33 analyse analyse NOM _ _ 31 dep _ _ _ _ _ 34 non-standard non- ADJ _ _ 33 dep _ _ _ _ _ 35 » » PUNC _ _ 0 root _ _ _ _ _ 36 ? ? PUNC _ _ 35 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-9 # text = NB : 1 NB NB NOM _ _ 0 root _ _ _ _ _ 2 : : PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-10 # text = j'ai réécrit les phrases qui précédaient . 1 j' j' CLS _ _ 3 subj _ _ _ _ _ 2 ai avoir VRB _ _ 3 aux _ _ _ _ _ 3 réécrit réécrire VPP _ _ 0 root _ _ _ _ _ 4 les le DET _ _ 5 spe _ _ _ _ _ 5 phrases phrase NOM _ _ 3 dep _ _ _ _ _ 6 qui qui PRQ _ _ 7 subj _ _ _ _ _ 7 précédaient précéder VRB _ _ 5 dep _ _ _ _ _ 8 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-11 # text = C'est clairement mieux , mais je ne me sentais pas d'être aussi affimatif vu que je n'ai pas regardé ce genre de chose depuis dix ans . 1 C' ce CLS _ _ 2 subj _ _ _ _ _ 2 est être VRB _ _ 0 root _ _ _ _ _ 3 clairement clairement ADV _ _ 2 dep _ _ _ _ _ 4 mieux mieux ADV _ _ 2 dep _ _ _ _ _ 5 , , PUNC _ _ 10 punc _ _ _ _ _ 6 mais mais COO _ _ 10 mark _ _ _ _ _ 7 je je CLS _ _ 10 subj _ _ _ _ _ 8 ne ne ADV _ _ 10 dep _ _ _ _ _ 9 me le CLI _ _ 10 dep _ _ _ _ _ 10 sentais sentir VRB _ _ 2 para _ _ _ _ _ 11 pas pas ADV _ _ 10 dep _ _ _ _ _ 12 d' de PRE _ _ 10 dep _ _ _ _ _ 13 être être VNF _ _ 12 dep _ _ _ _ _ 14 aussi aussi ADV _ _ 15 dep _ _ _ _ _ 15 affimatif affimatif ADJ _ _ 13 dep _ _ _ _ _ 16 vu vu que CSU _ _ 17 dep _ _ _ _ _ 17 que vu que CSU _ _ 10 dep _ _ _ _ _ 18 je je CLS _ _ 22 subj _ _ _ _ _ 19 n' ne ADV _ _ 22 dep _ _ _ _ _ 20 ai avoir VRB _ _ 22 aux _ _ _ _ _ 21 pas pas ADV _ _ 22 dep _ _ _ _ _ 22 regardé regarder VPP _ _ 17 dep _ _ _ _ _ 23 ce ce DET _ _ 24 spe _ _ _ _ _ 24 genre genre NOM _ _ 22 dep _ _ _ _ _ 25 de de PRE _ _ 24 dep _ _ _ _ _ 26 chose chose NOM _ _ 25 dep _ _ _ _ _ 27 depuis depuis PRE _ _ 22 dep _ _ _ _ _ 28 dix dix NUM _ _ 29 spe _ _ _ _ _ 29 ans an NOM _ _ 27 dep _ _ _ _ _ 30 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-12 # text = Si ta formulation est justifiée par de bonnes sources , elle est clairement meilleure . 1 Si si CSU _ _ 12 periph _ _ _ _ _ 2 ta son DET _ _ 3 spe _ _ _ _ _ 3 formulation formulation NOM _ _ 5 subj _ _ _ _ _ 4 est être VRB _ _ 5 aux _ _ _ _ _ 5 justifiée justifier VPP _ _ 1 dep _ _ _ _ _ 6 par par PRE _ _ 5 dep _ _ _ _ _ 7 de un DET _ _ 9 spe _ _ _ _ _ 8 bonnes bon ADJ _ _ 9 dep _ _ _ _ _ 9 sources source NOM _ _ 6 dep _ _ _ _ _ 10 , , PUNC _ _ 1 punc _ _ _ _ _ 11 elle elle CLS _ _ 12 subj _ _ _ _ _ 12 est être VRB _ _ 0 root _ _ _ _ _ 13 clairement clairement ADV _ _ 12 dep _ _ _ _ _ 14 meilleure meilleur ADJ _ _ 12 dep _ _ _ _ _ 15 . . PUNC _ _ 12 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-13 # text = Hélas , je suis incompétent sur le sujet de l'analyse non standard . 1 Hélas hélas INT _ _ 4 periph _ _ _ _ _ 2 , , PUNC _ _ 1 punc _ _ _ _ _ 3 je je CLS _ _ 4 subj _ _ _ _ _ 4 suis suivre VRB _ _ 0 root _ _ _ _ _ 5 incompétent incompétent ADJ _ _ 4 dep _ _ _ _ _ 6 sur sur PRE _ _ 5 dep _ _ _ _ _ 7 le le DET _ _ 8 spe _ _ _ _ _ 8 sujet sujet NOM _ _ 6 dep _ _ _ _ _ 9 de de PRE _ _ 8 dep _ _ _ _ _ 10 l' le DET _ _ 11 spe _ _ _ _ _ 11 analyse analyse NOM _ _ 9 dep _ _ _ _ _ 12 non non ADV _ _ 13 dep _ _ _ _ _ 13 standard standard ADJ _ _ 11 dep _ _ _ _ _ 14 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-14 # text = Je vais faire un peu de recherche , ce conditionnel est bien génant , et personne n'y comprendra rien en l'état . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 vais aller VRB _ _ 0 root _ _ _ _ _ 3 faire faire VNF _ _ 2 dep _ _ _ _ _ 4 un un peu de DET _ _ 6 dep _ _ _ _ _ 5 peu un peu de DET _ _ 6 dep _ _ _ _ _ 6 de un peu de PRE _ _ 2 dep _ _ _ _ _ 7 recherche recherche NOM _ _ 3 dep _ _ _ _ _ 8 , , PUNC _ _ 19 punc _ _ _ _ _ 9 ce ce DET _ _ 10 spe _ _ _ _ _ 10 conditionnel conditionnel ADJ _ _ 11 subj _ _ _ _ _ 11 est être VRB _ _ 7 dep _ _ _ _ _ 12 bien bien ADV _ _ 13 dep _ _ _ _ _ 13 génant gênant ADJ _ _ 11 dep _ _ _ _ _ 14 , , PUNC _ _ 19 punc _ _ _ _ _ 15 et et COO _ _ 19 mark _ _ _ _ _ 16 personne personne PRQ _ _ 19 subj _ _ _ _ _ 17 n' ne ADV _ _ 19 dep _ _ _ _ _ 18 y le CLI _ _ 19 dep _ _ _ _ _ 19 comprendra comprendre VRB _ _ 2 para _ _ _ _ _ 20 rien rien PRQ _ _ 19 dep _ _ _ _ _ 21 en en PRE _ _ 20 dep _ _ _ _ _ 22 l' le DET _ _ 23 spe _ _ _ _ _ 23 état état NOM _ _ 21 dep _ _ _ _ _ 24 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-15 # text = Période classique 1 Période période NOM _ _ 0 root _ _ _ _ _ 2 classique classique ADJ _ _ 1 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-16 # text = Ce n'est qu'un premier jet . 1 Ce ce CLS _ _ 3 subj _ _ _ _ _ 2 n' ne ADV _ _ 3 dep _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 qu' que ADV _ _ 3 dep _ _ _ _ _ 5 un un DET _ _ 7 spe _ _ _ _ _ 6 premier premier ADJ _ _ 7 dep _ _ _ _ _ 7 jet jet NOM _ _ 3 dep _ _ _ _ _ 8 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-17 # text = Il est quasi caricatural , il n'explique pas la philosophie de Newton et la logique chez les intuitionnistes . 1 Il il CLS _ _ 2 subj _ _ _ _ _ 2 est être VRB _ _ 0 root _ _ _ _ _ 3 quasi quasi ADV _ _ 4 dep _ _ _ _ _ 4 caricatural caricatural ADJ _ _ 2 dep _ _ _ _ _ 5 , , PUNC _ _ 8 punc _ _ _ _ _ 6 il il CLS _ _ 8 subj _ _ _ _ _ 7 n' ne ADV _ _ 8 dep _ _ _ _ _ 8 explique expliquer VRB _ _ 2 dep _ _ _ _ _ 9 pas pas ADV _ _ 8 dep _ _ _ _ _ 10 la le DET _ _ 11 spe _ _ _ _ _ 11 philosophie philosophie NOM _ _ 8 dep _ _ _ _ _ 12 de de PRE _ _ 11 dep _ _ _ _ _ 13 Newton Newton NOM _ _ 12 dep _ _ _ _ _ 14 et et COO _ _ 16 mark _ _ _ _ _ 15 la le DET _ _ 16 spe _ _ _ _ _ 16 logique logique NOM _ _ 11 para _ _ _ _ _ 17 chez chez PRE _ _ 16 dep _ _ _ _ _ 18 les le DET _ _ 19 spe _ _ _ _ _ 19 intuitionnistes intuitionniste NOM _ _ 17 dep _ _ _ _ _ 20 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-18 # text = Il omet Pascal et Descartes , il n'explique mal le rôle de la logique chez d'Alembert ou Voltaire . 1 Il il CLS _ _ 2 subj _ _ _ _ _ 2 omet omettre VRB _ _ 0 root _ _ _ _ _ 3 Pascal Pascal NOM _ _ 2 dep _ _ _ _ _ 4 et et COO _ _ 5 mark _ _ _ _ _ 5 Descartes Descartes NOM _ _ 3 para _ _ _ _ _ 6 , , PUNC _ _ 9 punc _ _ _ _ _ 7 il il CLS _ _ 9 subj _ _ _ _ _ 8 n' ne ADV _ _ 9 dep _ _ _ _ _ 9 explique expliquer VRB _ _ 2 dep _ _ _ _ _ 10 mal mal ADV _ _ 9 dep _ _ _ _ _ 11 le le DET _ _ 12 spe _ _ _ _ _ 12 rôle rôle NOM _ _ 9 dep _ _ _ _ _ 13 de de PRE _ _ 12 dep _ _ _ _ _ 14 la le DET _ _ 15 spe _ _ _ _ _ 15 logique logique NOM _ _ 13 dep _ _ _ _ _ 16 chez chez PRE _ _ 12 dep _ _ _ _ _ 17 d' un DET _ _ 18 spe _ _ _ _ _ 18 Alembert Alembert NOM _ _ 16 dep _ _ _ _ _ 19 ou ou COO _ _ 20 mark _ _ _ _ _ 20 Voltaire Voltaire NOM _ _ 18 para _ _ _ _ _ 21 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-19 # text = Et oublier Spinoza est impardonable . 1 Et et COO _ _ 4 mark _ _ _ _ _ 2 oublier oublier VNF _ _ 4 subj _ _ _ _ _ 3 Spinoza Spinoza NOM _ _ 2 dep _ _ _ _ _ 4 est être VRB _ _ 0 root _ _ _ _ _ 5 impardonable impardonable ADJ _ _ 4 dep _ _ _ _ _ 6 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-20 # text = En bref il reste à faire encore beaucoup de travail et si un philosophe peut nous aider , il y aura moins de bétises d'écrites . 1 En en bref PRE _ _ 4 periph _ _ _ _ _ 2 bref en bref NOM _ _ 1 dep _ _ _ _ _ 3 il il CLS _ _ 4 subj _ _ _ _ _ 4 reste rester VRB _ _ 0 root _ _ _ _ _ 5 à à PRE _ _ 4 dep _ _ _ _ _ 6 faire faire VNF _ _ 5 dep _ _ _ _ _ 7 encore encore ADV _ _ 6 dep _ _ _ _ _ 8 beaucoup beaucoup ADV _ _ 10 dep _ _ _ _ _ 9 de de PRE _ _ 6 dep _ _ _ _ _ 10 travail travail NOM _ _ 9 dep _ _ _ _ _ 11 et et COO _ _ 12 mark _ _ _ _ _ 12 si si CSU _ _ 5 para _ _ _ _ _ 13 un un DET _ _ 14 spe _ _ _ _ _ 14 philosophe philosophe NOM _ _ 15 subj _ _ _ _ _ 15 peut pouvoir VRB _ _ 12 dep _ _ _ _ _ 16 nous le CLI _ _ 17 dep _ _ _ _ _ 17 aider aider VNF _ _ 15 dep _ _ _ _ _ 18 , , PUNC _ _ 21 punc _ _ _ _ _ 19 il il CLS _ _ 21 subj _ _ _ _ _ 20 y le CLI _ _ 21 dep _ _ _ _ _ 21 aura avoir VRB _ _ 12 dep _ _ _ _ _ 22 moins moins ADV _ _ 24 dep _ _ _ _ _ 23 de de PRE _ _ 21 dep _ _ _ _ _ 24 bétises bêtise NOM _ _ 23 dep _ _ _ _ _ 25 d' de PRE _ _ 24 dep _ _ _ _ _ 26 écrites écrire ADJ _ _ 25 dep _ _ _ _ _ 27 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-21 # text = Une analyse de la logique en philosophie essentiellement fondée sur Vinci Galilée Newton sur la période classique , c'est indigent . 1 Une un DET _ _ 2 spe _ _ _ _ _ 2 analyse analyse NOM _ _ 20 periph _ _ _ _ _ 3 de de PRE _ _ 2 dep _ _ _ _ _ 4 la le DET _ _ 5 spe _ _ _ _ _ 5 logique logique NOM _ _ 3 dep _ _ _ _ _ 6 en en PRE _ _ 5 dep _ _ _ _ _ 7 philosophie philosophie NOM _ _ 6 dep _ _ _ _ _ 8 essentiellement essentiellement ADV _ _ 9 periph _ _ _ _ _ 9 fondée fonder VPP _ _ 5 dep _ _ _ _ _ 10 sur sur PRE _ _ 9 dep _ _ _ _ _ 11 Vinci Vinci NOM _ _ 10 dep _ _ _ _ _ 12 Galilée Galilée NOM _ _ 13 dep _ _ _ _ _ 13 Newton Newton NOM _ _ 11 dep _ _ _ _ _ 14 sur sur PRE _ _ 9 dep _ _ _ _ _ 15 la le DET _ _ 16 spe _ _ _ _ _ 16 période période NOM _ _ 14 dep _ _ _ _ _ 17 classique classique ADJ _ _ 16 dep _ _ _ _ _ 18 , , PUNC _ _ 2 punc _ _ _ _ _ 19 c' ce CLS _ _ 20 subj _ _ _ _ _ 20 est être VRB _ _ 0 root _ _ _ _ _ 21 indigent indigent ADJ _ _ 20 dep _ _ _ _ _ 22 . . PUNC _ _ 20 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-22 # text = Logique contemporaine 1 Logique logique NOM _ _ 0 root _ _ _ _ _ 2 contemporaine contemporain ADJ _ _ 1 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-23 # text = Je ne suis pas convaincu par cette section , qui me paraît un peut anecdotique et pas assez synthétique . 1 Je je CLS _ _ 5 subj _ _ _ _ _ 2 ne ne ADV _ _ 5 dep _ _ _ _ _ 3 suis être VRB _ _ 5 aux _ _ _ _ _ 4 pas pas ADV _ _ 5 dep _ _ _ _ _ 5 convaincu convaincre VPP _ _ 0 root _ _ _ _ _ 6 par par PRE _ _ 5 dep _ _ _ _ _ 7 cette ce DET _ _ 8 spe _ _ _ _ _ 8 section section NOM _ _ 6 dep _ _ _ _ _ 9 , , PUNC _ _ 15 punc _ _ _ _ _ 10 qui qui PRQ _ _ 12 subj _ _ _ _ _ 11 me le CLI _ _ 12 dep _ _ _ _ _ 12 paraît paraître VRB _ _ 14 subj _ _ _ _ _ 13 un un PRQ _ _ 12 dep _ _ _ _ _ 14 peut pouvoir VRB _ _ 5 dep _ _ _ _ _ 15 anecdotique anecdotique ADJ _ _ 5 dep _ _ _ _ _ 16 et et COO _ _ 19 mark _ _ _ _ _ 17 pas pas ADV _ _ 16 dep _ _ _ _ _ 18 assez assez ADV _ _ 19 dep _ _ _ _ _ 19 synthétique synthétique ADJ _ _ 15 para _ _ _ _ _ 20 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-24 # text = Je trouve en particulier que la phrase sur l'analyse non standard n'a pas sa place dans cette section . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 trouve trouver VRB _ _ 0 root _ _ _ _ _ 3 en en PRE _ _ 2 dep _ _ _ _ _ 4 particulier particulier NOM _ _ 3 dep _ _ _ _ _ 5 que que CSU _ _ 2 dep _ _ _ _ _ 6 la le DET _ _ 7 spe _ _ _ _ _ 7 phrase phrase NOM _ _ 14 subj _ _ _ _ _ 8 sur sur PRE _ _ 7 dep _ _ _ _ _ 9 l' le DET _ _ 10 spe _ _ _ _ _ 10 analyse analyse NOM _ _ 8 dep _ _ _ _ _ 11 non non ADV _ _ 12 dep _ _ _ _ _ 12 standard standard ADJ _ _ 10 dep _ _ _ _ _ 13 n' ne ADV _ _ 14 dep _ _ _ _ _ 14 a avoir VRB _ _ 5 dep _ _ _ _ _ 15 pas pas ADV _ _ 14 dep _ _ _ _ _ 16 sa son DET _ _ 17 spe _ _ _ _ _ 17 place place NOM _ _ 14 dep _ _ _ _ _ 18 dans dans PRE _ _ 14 dep _ _ _ _ _ 19 cette ce DET _ _ 20 spe _ _ _ _ _ 20 section section NOM _ _ 18 dep _ _ _ _ _ 21 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-25 # text = Logique moderne 1 Logique logique NOM _ _ 0 root _ _ _ _ _ 2 moderne moderne ADJ _ _ 1 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-26 # text = Cette section , comme d'ailleurs tout l'article , ne cite pas ses sources et est truffée de commentaires non encyclopédiques . 1 Cette ce DET _ _ 2 spe _ _ _ _ _ 2 section section NOM _ _ 12 subj _ _ _ _ _ 3 , , PUNC _ _ 2 punc _ _ _ _ _ 4 comme comme PRE _ _ 12 periph _ _ _ _ _ 5 d' d'ailleurs PRE _ _ 7 dep _ _ _ _ _ 6 ailleurs d'ailleurs NOM _ _ 5 dep _ _ _ _ _ 7 tout tout ADJ _ _ 9 dep _ _ _ _ _ 8 l' le DET _ _ 9 spe _ _ _ _ _ 9 article article NOM _ _ 4 dep _ _ _ _ _ 10 , , PUNC _ _ 4 punc _ _ _ _ _ 11 ne ne ADV _ _ 12 dep _ _ _ _ _ 12 cite citer VRB _ _ 0 root _ _ _ _ _ 13 pas pas ADV _ _ 12 dep _ _ _ _ _ 14 ses son DET _ _ 15 spe _ _ _ _ _ 15 sources source NOM _ _ 12 dep _ _ _ _ _ 16 et et COO _ _ 18 mark _ _ _ _ _ 17 est être VRB _ _ 18 aux _ _ _ _ _ 18 truffée truffer VPP _ _ 12 para _ _ _ _ _ 19 de de PRE _ _ 18 dep _ _ _ _ _ 20 commentaires commentaire NOM _ _ 19 dep _ _ _ _ _ 21 non non ADV _ _ 22 dep _ _ _ _ _ 22 encyclopédiques encyclopédique ADJ _ _ 20 dep _ _ _ _ _ 23 . . PUNC _ _ 12 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-27 # text = Je cite 2 cas ci-dessous . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 cite citer VRB _ _ 0 root _ _ _ _ _ 3 2 2 NUM _ _ 4 spe _ _ _ _ _ 4 cas cas NOM _ _ 2 dep _ _ _ _ _ 5 ci-dessous ci-dessous ADV _ _ 2 dep _ _ _ _ _ 6 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-28 # text = - 1 - - PUNC _ _ 0 root _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-29 # text = Maladie infectieuse 1 Maladie maladie NOM _ _ 0 root _ _ _ _ _ 2 infectieuse infectieux ADJ _ _ 1 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-30 # text = On ne nous dit pas quelle est la maladie infectieuse à laquelle Hilbert aurait mis fin . 1 On on CLS _ _ 4 subj _ _ _ _ _ 2 ne ne ADV _ _ 4 dep _ _ _ _ _ 3 nous le CLI _ _ 4 dep _ _ _ _ _ 4 dit dire VRB _ _ 0 root _ _ _ _ _ 5 pas pas ADV _ _ 4 dep _ _ _ _ _ 6 quelle quel? ADJ _ _ 7 dep _ _ _ _ _ 7 est être VRB _ _ 4 dep _ _ _ _ _ 8 la le DET _ _ 9 spe _ _ _ _ _ 9 maladie maladie NOM _ _ 7 subj _ _ _ _ _ 10 infectieuse infectieux ADJ _ _ 9 dep _ _ _ _ _ 11 à à PRE _ _ 15 periph _ _ _ _ _ 12 laquelle lequel PRQ _ _ 11 dep _ _ _ _ _ 13 Hilbert Hilbert NOM _ _ 15 subj _ _ _ _ _ 14 aurait avoir VRB _ _ 15 aux _ _ _ _ _ 15 mis mettre VPP _ _ 9 dep _ _ _ _ _ 16 fin fin ADV _ _ 15 dep _ _ _ _ _ 17 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-31 # text = J'ai plutôt l'impression qu'on a confondu Hilbert et Poincaré - Poincaré avait qualifié la théorie des ensembles de " maladie " ( le pauvre , s'il revenait .... ) Mais je laisse , au cas où on voudrait bien mettre une source . 1 J' j' CLS _ _ 2 subj _ _ _ _ _ 2 ai avoir VRB _ _ 0 root _ _ _ _ _ 3 plutôt plutôt ADV _ _ 2 dep _ _ _ _ _ 4 l' le DET _ _ 5 spe _ _ _ _ _ 5 impression impression NOM _ _ 2 dep _ _ _ _ _ 6 qu' que CSU _ _ 5 dep _ _ _ _ _ 7 on on CLS _ _ 9 subj _ _ _ _ _ 8 a avoir VRB _ _ 9 aux _ _ _ _ _ 9 confondu confondre VPP _ _ 6 dep _ _ _ _ _ 10 Hilbert Hilbert NOM _ _ 9 dep _ _ _ _ _ 11 et et COO _ _ 12 mark _ _ _ _ _ 12 Poincaré Poincaré NOM _ _ 10 para _ _ _ _ _ 13 - - PUNC _ _ 2 punc _ _ _ _ _ 14 Poincaré Poincaré NOM _ _ 16 subj _ _ _ _ _ 15 avait avoir VRB _ _ 16 aux _ _ _ _ _ 16 qualifié qualifier VPP _ _ 2 dep _ _ _ _ _ 17 la le DET _ _ 18 spe _ _ _ _ _ 18 théorie théorie NOM _ _ 16 dep _ _ _ _ _ 19 des de PRE _ _ 18 dep _ _ _ _ _ 20 ensembles ensemble NOM _ _ 19 dep _ _ _ _ _ 21 de de PRE _ _ 20 dep _ _ _ _ _ 22 " " PUNC _ _ 23 punc _ _ _ _ _ 23 maladie maladie NOM _ _ 21 dep _ _ _ _ _ 24 " " PUNC _ _ 23 punc _ _ _ _ _ 25 ( ( PUNC _ _ 27 punc _ _ _ _ _ 26 le le DET _ _ 27 spe _ _ _ _ _ 27 pauvre pauvre ADJ _ _ 21 parenth _ _ _ _ _ 28 , , PUNC _ _ 36 punc _ _ _ _ _ 29 s' si C+CL _ _ 30 dep _ _ _ _ _ 30 il si C+CL _ _ 2 dep _ _ _ _ _ 31 revenait revenir VRB _ _ 30 dep _ _ _ _ _ 32 .... (...) PUNC _ _ 36 punc _ _ _ _ _ 33 ) ) PUNC _ _ 27 punc _ _ _ _ _ 34 Mais Mais COO _ _ 36 mark _ _ _ _ _ 35 je je CLS _ _ 36 subj _ _ _ _ _ 36 laisse laisser VRB _ _ 16 para _ _ _ _ _ 37 , , PUNC _ _ 38 punc _ _ _ _ _ 38 au à PRE _ _ 36 dep _ _ _ _ _ 39 cas cas NOM _ _ 38 dep _ _ _ _ _ 40 où où PRQ _ _ 42 periph _ _ _ _ _ 41 on on CLS _ _ 42 subj _ _ _ _ _ 42 voudrait vouloir VRB _ _ 39 dep _ _ _ _ _ 43 bien bien ADV _ _ 42 dep _ _ _ _ _ 44 mettre mettre VNF _ _ 42 dep _ _ _ _ _ 45 une un DET _ _ 46 spe _ _ _ _ _ 46 source source NOM _ _ 44 dep _ _ _ _ _ 47 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-32 # text = - 1 - - PUNC _ _ 0 root _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-33 # text = Je ne tiens pas du tout ( cf. ci-dessous ) à défendre l'article , mais je serais curieux de savoir si l'on peut donner une référence de ce propos de Poincaré . 1 Je je CLS _ _ 3 subj _ _ _ _ _ 2 ne ne ADV _ _ 3 dep _ _ _ _ _ 3 tiens tenir VRB _ _ 0 root _ _ _ _ _ 4 pas pas du tout NOM _ _ 3 dep _ _ _ _ _ 5 du pas du tout PRE _ _ 4 dep _ _ _ _ _ 6 tout pas du tout ADV _ _ 5 dep _ _ _ _ _ 7 ( ( PUNC _ _ 8 punc _ _ _ _ _ 8 cf. cf PRE _ _ 3 parenth _ _ _ _ _ 9 ci-dessous ci-dessous ADV _ _ 8 dep _ _ _ _ _ 10 ) ) PUNC _ _ 8 punc _ _ _ _ _ 11 à à PRE _ _ 3 dep _ _ _ _ _ 12 défendre défendre VNF _ _ 11 dep _ _ _ _ _ 13 l' le DET _ _ 14 spe _ _ _ _ _ 14 article article NOM _ _ 12 dep _ _ _ _ _ 15 , , PUNC _ _ 18 punc _ _ _ _ _ 16 mais mais COO _ _ 18 mark _ _ _ _ _ 17 je je CLS _ _ 18 subj _ _ _ _ _ 18 serais être VRB _ _ 3 para _ _ _ _ _ 19 curieux curieux ADJ _ _ 18 dep _ _ _ _ _ 20 de de PRE _ _ 19 dep _ _ _ _ _ 21 savoir savoir VNF _ _ 20 dep _ _ _ _ _ 22 si si CSU _ _ 21 dep _ _ _ _ _ 23 l' l'on DET _ _ 24 spe _ _ _ _ _ 24 on l'on PRQ _ _ 25 subj _ _ _ _ _ 25 peut pouvoir VRB _ _ 22 dep _ _ _ _ _ 26 donner donner VNF _ _ 25 dep _ _ _ _ _ 27 une un DET _ _ 28 spe _ _ _ _ _ 28 référence référence NOM _ _ 26 dep _ _ _ _ _ 29 de de PRE _ _ 28 dep _ _ _ _ _ 30 ce ce DET _ _ 31 spe _ _ _ _ _ 31 propos propos NOM _ _ 29 dep _ _ _ _ _ 32 de de PRE _ _ 31 dep _ _ _ _ _ 33 Poincaré Poincaré NOM _ _ 32 dep _ _ _ _ _ 34 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-34 # text = Je l'ai déjà vu cité , mais jamais référencé . 1 Je je CLS _ _ 5 subj _ _ _ _ _ 2 l' le CLI _ _ 5 dep _ _ _ _ _ 3 ai avoir VRB _ _ 5 aux _ _ _ _ _ 4 déjà déjà ADV _ _ 5 dep _ _ _ _ _ 5 vu voir VPP _ _ 0 root _ _ _ _ _ 6 cité citer VPP _ _ 5 dep _ _ _ _ _ 7 , , PUNC _ _ 10 punc _ _ _ _ _ 8 mais mais COO _ _ 10 mark _ _ _ _ _ 9 jamais jamais ADV _ _ 10 dep _ _ _ _ _ 10 référencé référencer VPP _ _ 6 para _ _ _ _ _ 11 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-35 # text = Les écrits de Poincaré que j'ai lu sur le sujet sont nettement plus mesurés . 1 Les le DET _ _ 2 spe _ _ _ _ _ 2 écrits écrit NOM _ _ 12 subj _ _ _ _ _ 3 de de PRE _ _ 2 dep _ _ _ _ _ 4 Poincaré Poincaré NOM _ _ 3 dep _ _ _ _ _ 5 que que PRQ _ _ 8 dep _ _ _ _ _ 6 j' j' CLS _ _ 8 subj _ _ _ _ _ 7 ai avoir VRB _ _ 8 aux _ _ _ _ _ 8 lu lire VPP _ _ 2 dep _ _ _ _ _ 9 sur sur PRE _ _ 8 dep _ _ _ _ _ 10 le le DET _ _ 11 spe _ _ _ _ _ 11 sujet sujet NOM _ _ 9 dep _ _ _ _ _ 12 sont être VRB _ _ 0 root _ _ _ _ _ 13 nettement nettement ADV _ _ 14 dep _ _ _ _ _ 14 plus plus ADV _ _ 15 dep _ _ _ _ _ 15 mesurés mesurer ADJ _ _ 12 dep _ _ _ _ _ 16 . . PUNC _ _ 12 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-36 # text = Bref ça m'intéresserait de savoir d'où ça vient ( même si c'est indirect ) . 1 Bref Bref NOM _ _ 4 subj _ _ _ _ _ 2 ça cela PRQ _ _ 4 subj _ _ _ _ _ 3 m' le CLI _ _ 4 dep _ _ _ _ _ 4 intéresserait intéresser VRB _ _ 0 root _ _ _ _ _ 5 de de PRE _ _ 4 dep _ _ _ _ _ 6 savoir savoir VNF _ _ 5 dep _ _ _ _ _ 7 d' d'où PRE _ _ 4 dep _ _ _ _ _ 8 où d'où NOM _ _ 7 dep _ _ _ _ _ 9 ça cela PRQ _ _ 10 subj _ _ _ _ _ 10 vient venir VRB _ _ 7 dep _ _ _ _ _ 11 ( ( PUNC _ _ 13 punc _ _ _ _ _ 12 même même si CSU _ _ 13 dep _ _ _ _ _ 13 si même si CSU _ _ 10 parenth _ _ _ _ _ 14 c' ce CLS _ _ 15 subj _ _ _ _ _ 15 est être VRB _ _ 13 dep _ _ _ _ _ 16 indirect indirect ADJ _ _ 15 dep _ _ _ _ _ 17 ) ) PUNC _ _ 13 punc _ _ _ _ _ 18 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-37 # text = Par ailleurs Hilbert a pu dire quelque chose de ce genre ( j'essayerai de vérifier ) , mais dans les années 1920 , dans un article où il présente son programme . 1 Par par ailleurs PRE _ _ 5 periph _ _ _ _ _ 2 ailleurs par ailleurs ADV _ _ 1 dep _ _ _ _ _ 3 Hilbert Hilbert NOM _ _ 5 subj _ _ _ _ _ 4 a avoir VRB _ _ 5 aux _ _ _ _ _ 5 pu pouvoir VPP _ _ 0 root _ _ _ _ _ 6 dire dire VNF _ _ 5 dep _ _ _ _ _ 7 quelque quelque chose DET _ _ 8 spe _ _ _ _ _ 8 chose quelque chose NOM _ _ 6 dep _ _ _ _ _ 9 de de PRE _ _ 8 dep _ _ _ _ _ 10 ce ce DET _ _ 11 spe _ _ _ _ _ 11 genre genre NOM _ _ 9 dep _ _ _ _ _ 12 ( ( PUNC _ _ 5 punc _ _ _ _ _ 13 j' j' CLS _ _ 14 subj _ _ _ _ _ 14 essayerai essayer VRB _ _ 6 dep _ _ _ _ _ 15 de de PRE _ _ 14 dep _ _ _ _ _ 16 vérifier vérifier VNF _ _ 15 dep _ _ _ _ _ 17 ) ) PUNC _ _ 5 punc _ _ _ _ _ 18 , , PUNC _ _ 25 punc _ _ _ _ _ 19 mais mais COO _ _ 20 mark _ _ _ _ _ 20 dans dans PRE _ _ 25 mark _ _ _ _ _ 21 les le DET _ _ 22 spe _ _ _ _ _ 22 années année NOM _ _ 20 dep _ _ _ _ _ 23 1920 1920 NUM _ _ 22 dep _ _ _ _ _ 24 , , PUNC _ _ 25 punc _ _ _ _ _ 25 dans dans PRE _ _ 6 para _ _ _ _ _ 26 un un DET _ _ 27 spe _ _ _ _ _ 27 article article NOM _ _ 25 dep _ _ _ _ _ 28 où où PRQ _ _ 30 periph _ _ _ _ _ 29 il il CLS _ _ 30 subj _ _ _ _ _ 30 présente présenter VRB _ _ 27 dep _ _ _ _ _ 31 son son DET _ _ 32 spe _ _ _ _ _ 32 programme programme NOM _ _ 30 dep _ _ _ _ _ 33 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-38 # text = Ca viendrait du mathématicien anglais Ian Stewart " Poincaré disait que les générations futures considéreront ces théories comme une maladie " ; 1 Ca cela PRQ _ _ 2 dep _ _ _ _ _ 2 viendrait venir VRB _ _ 0 root _ _ _ _ _ 3 du de PRE _ _ 2 dep _ _ _ _ _ 4 mathématicien mathématicien NOM _ _ 3 dep _ _ _ _ _ 5 anglais anglais ADJ _ _ 4 dep _ _ _ _ _ 6 Ian Ian NOM _ _ 4 dep _ _ _ _ _ 7 Stewart Stewart NOM _ _ 4 dep _ _ _ _ _ 8 " " PUNC _ _ 10 punc _ _ _ _ _ 9 Poincaré Poincaré NOM _ _ 10 subj _ _ _ _ _ 10 disait dire VRB _ _ 2 subj _ _ _ _ _ 11 que que CSU _ _ 10 dep _ _ _ _ _ 12 les le DET _ _ 13 spe _ _ _ _ _ 13 générations génération NOM _ _ 15 subj _ _ _ _ _ 14 futures futur ADJ _ _ 13 dep _ _ _ _ _ 15 considéreront considérer VRB _ _ 11 dep _ _ _ _ _ 16 ces ce DET _ _ 17 spe _ _ _ _ _ 17 théories théorie NOM _ _ 15 dep _ _ _ _ _ 18 comme comme PRE _ _ 15 dep _ _ _ _ _ 19 une un DET _ _ 20 spe _ _ _ _ _ 20 maladie maladie NOM _ _ 18 dep _ _ _ _ _ 21 " " PUNC _ _ 10 punc _ _ _ _ _ 22 ; ; PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-39 # text = je viens de voir ça cité par un blog mais j'avais lu auparavant une phrase similaire . 1 je je CLS _ _ 2 subj _ _ _ _ _ 2 viens venir VRB _ _ 0 root _ _ _ _ _ 3 de de PRE _ _ 2 dep _ _ _ _ _ 4 voir voir VNF _ _ 3 dep _ _ _ _ _ 5 ça cela PRQ _ _ 4 dep _ _ _ _ _ 6 cité citer VPP _ _ 5 dep _ _ _ _ _ 7 par par PRE _ _ 6 dep _ _ _ _ _ 8 un un DET _ _ 9 spe _ _ _ _ _ 9 blog blog NOM _ _ 7 dep _ _ _ _ _ 10 mais mais COO _ _ 13 mark _ _ _ _ _ 11 j' j' CLS _ _ 13 subj _ _ _ _ _ 12 avais avoir VRB _ _ 13 aux _ _ _ _ _ 13 lu lire VPP _ _ 2 para _ _ _ _ _ 14 auparavant auparavant ADV _ _ 13 dep _ _ _ _ _ 15 une un DET _ _ 16 spe _ _ _ _ _ 16 phrase phrase NOM _ _ 13 dep _ _ _ _ _ 17 similaire similaire ADJ _ _ 16 dep _ _ _ _ _ 18 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-40 # text = J'essayerai de retrouver où . 1 J' j' CLS _ _ 2 subj _ _ _ _ _ 2 essayerai essayer VRB _ _ 0 root _ _ _ _ _ 3 de de PRE _ _ 2 dep _ _ _ _ _ 4 retrouver retrouver VNF _ _ 3 dep _ _ _ _ _ 5 où où? ADV _ _ 4 dep _ _ _ _ _ 6 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-41 # text = Je tombe là-dessus en cherchant tout autre chose dans l'encyclopédie anglaise : 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 tombe tomber VRB _ _ 0 root _ _ _ _ _ 3 là-dessus là-dessus ADV _ _ 2 dep _ _ _ _ _ 4 en en PRE _ _ 2 dep _ _ _ _ _ 5 cherchant chercher VPR _ _ 4 dep _ _ _ _ _ 6 tout tout DET _ _ 8 spe _ _ _ _ _ 7 autre autre ADJ _ _ 8 dep _ _ _ _ _ 8 chose chose ADJ _ _ 5 dep _ _ _ _ _ 9 dans dans PRE _ _ 5 dep _ _ _ _ _ 10 l' le DET _ _ 11 spe _ _ _ _ _ 11 encyclopédie encyclopédie NOM _ _ 9 dep _ _ _ _ _ 12 anglaise anglais ADJ _ _ 11 dep _ _ _ _ _ 13 : : PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-42 # text = http : 1 http URL NOM _ _ 0 root _ _ _ _ _ 2 : : PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-43 # text = Axiomatic set theory why i deleted .22set theory is a disease from which mathematics will one day recover.22 Ca semble possible ( Dans ses écrits Poincaré est assez critique sur ce qu'il appelle le " Cantorisme " , mais s'est intéressé de près aux travaux de Cantor et ne dit pas qu'il faut tout jeter ) . 1 Axiomatic Axiomatic NOM _ _ 0 root _ _ _ _ _ 2 PUNC _ _ 3 punc _ _ _ _ _ 3 set set NOM _ _ 0 root _ _ _ _ _ 4 PUNC _ _ 5 punc _ _ _ _ _ 5 theory theory # why NOM _ _ 7 dep _ _ _ _ _ 6 # theory # why NOM _ _ 7 dep _ _ _ _ _ 7 why theory # why NOM _ _ 4 dep _ _ _ _ _ 8 PUNC _ _ 17 punc _ _ _ _ _ 9 i id est COO _ _ 17 mark _ _ _ _ _ 10 PUNC _ _ 17 punc _ _ _ _ _ 11 deleted deleted .22set theory is NOM _ _ 17 dep _ _ _ _ _ 12 deleted .22set theory is PUNC _ _ 17 punc _ _ _ _ _ 13 .22set deleted .22set theory is NOM _ _ 17 dep _ _ _ _ _ 14 deleted .22set theory is PUNC _ _ 17 punc _ _ _ _ _ 15 theory deleted .22set theory is NOM _ _ 17 dep _ _ _ _ _ 16 deleted .22set theory is PUNC _ _ 17 punc _ _ _ _ _ 17 is deleted .22set theory is NOM _ _ 7 para _ _ _ _ _ 18 PUNC _ _ 19 punc _ _ _ _ _ 19 a à PRE _ _ 4 dep _ _ _ _ _ 20 PUNC _ _ 21 punc _ _ _ _ _ 21 disease disease NOM _ _ 19 dep _ _ _ _ _ 22 PUNC _ _ 23 punc _ _ _ _ _ 23 from frou NOM _ _ 0 root _ _ _ _ _ 24 PUNC _ _ 25 punc _ _ _ _ _ 25 which which mathematics NOM _ _ 27 dep _ _ _ _ _ 26 which mathematics PUNC _ _ 25 punc _ _ _ _ _ 27 mathematics which mathematics NOM _ _ 28 subj _ _ _ _ _ 28 PUNC _ _ 29 punc _ _ _ _ _ 29 will Will NOM _ _ 28 dep _ _ _ _ _ 30 PUNC _ _ 31 punc _ _ _ _ _ 31 one one CLS _ _ 0 root _ _ _ _ _ 32 PUNC _ _ 33 punc _ _ _ _ _ 33 day dam NOM _ _ 0 root _ _ _ _ _ 34 PUNC _ _ 35 punc _ _ _ _ _ 35 recover.22 recover.22 VPR _ _ 33 dep _ _ _ _ _ 36 Ca Ca PRQ _ _ 35 dep _ _ _ _ _ 37 semble sembler VRB _ _ 0 root _ _ _ _ _ 38 possible possible ADJ _ _ 0 root _ _ _ _ _ 39 ( ( PUNC _ _ 0 root _ _ _ _ _ 40 Dans Dans PRE _ _ 44 periph _ _ _ _ _ 41 ses son DET _ _ 42 spe _ _ _ _ _ 42 écrits écrit NOM _ _ 40 dep _ _ _ _ _ 43 Poincaré Poincaré NOM _ _ 44 subj _ _ _ _ _ 44 est être VRB _ _ 0 root _ _ _ _ _ 45 assez assez ADV _ _ 46 dep _ _ _ _ _ 46 critique critique ADJ _ _ 44 dep _ _ _ _ _ 47 sur sur PRE _ _ 44 dep _ _ _ _ _ 48 ce ce PRQ _ _ 47 dep _ _ _ _ _ 49 qu' que PRQ _ _ 67 dep _ _ _ _ _ 50 il il CLS _ _ 51 subj _ _ _ _ _ 51 appelle appeler VRB _ _ 48 dep _ _ _ _ _ 52 le le DET _ _ 54 spe _ _ _ _ _ 53 " " PUNC _ _ 54 punc _ _ _ _ _ 54 Cantorisme Cantorisme NOM _ _ 51 dep _ _ _ _ _ 55 " " PUNC _ _ 54 punc _ _ _ _ _ 56 , , PUNC _ _ 60 punc _ _ _ _ _ 57 mais mais COO _ _ 60 mark _ _ _ _ _ 58 s' s' CLI _ _ 60 dep _ _ _ _ _ 59 est être VRB _ _ 60 aux _ _ _ _ _ 60 intéressé intéresser VPP _ _ 51 para _ _ _ _ _ 61 de de près PRE _ _ 60 dep _ _ _ _ _ 62 près de près NOM _ _ 61 dep _ _ _ _ _ 63 aux à PRE _ _ 60 dep _ _ _ _ _ 64 travaux travail NOM _ _ 63 dep _ _ _ _ _ 65 de de PRE _ _ 64 dep _ _ _ _ _ 66 Cantor Cantor NOM _ _ 65 dep _ _ _ _ _ 67 et et COO _ _ 69 mark _ _ _ _ _ 68 ne ne ADV _ _ 69 dep _ _ _ _ _ 69 dit dire VRB _ _ 60 para _ _ _ _ _ 70 pas pas ADV _ _ 69 dep _ _ _ _ _ 71 qu' que CSU _ _ 69 dep _ _ _ _ _ 72 il il CLS _ _ 73 subj _ _ _ _ _ 73 faut falloir VRB _ _ 71 dep _ _ _ _ _ 74 tout tout PRQ _ _ 75 dep _ _ _ _ _ 75 jeter jeter VNF _ _ 73 dep _ _ _ _ _ 76 ) ) PUNC _ _ 0 root _ _ _ _ _ 77 . . PUNC _ _ 76 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-44 # text = Gödel et Bourbaki 1 Gödel Gödel NOM _ _ 0 root _ _ _ _ _ 2 et et COO _ _ 3 mark _ _ _ _ _ 3 Bourbaki Bourbaki NOM _ _ 1 para _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-45 # text = Bourbaki ignore Gödel ? 1 Bourbaki Bourbaki NOM _ _ 2 subj _ _ _ _ _ 2 ignore ignorer VRB _ _ 0 root _ _ _ _ _ 3 Gödel Gödel NOM _ _ 2 dep _ _ _ _ _ 4 ? ? PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-46 # text = Là je sais que c'est faux , j'enlève ce passage . 1 Là là ADV _ _ 3 periph _ _ _ _ _ 2 je je CLS _ _ 3 subj _ _ _ _ _ 3 sais savoir VRB _ _ 0 root _ _ _ _ _ 4 que que CSU _ _ 3 dep _ _ _ _ _ 5 c' ce CLS _ _ 6 subj _ _ _ _ _ 6 est être VRB _ _ 4 dep _ _ _ _ _ 7 faux faux ADJ _ _ 6 dep _ _ _ _ _ 8 , , PUNC _ _ 10 punc _ _ _ _ _ 9 j' j' CLS _ _ 10 subj _ _ _ _ _ 10 enlève enlever VRB _ _ 4 dep _ _ _ _ _ 11 ce ce DET _ _ 12 spe _ _ _ _ _ 12 passage passage NOM _ _ 10 dep _ _ _ _ _ 13 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-47 # text = - 1 - - PUNC _ _ 0 root _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-48 # text = Dans un cas comme dans l'autre il doit bien exister une référence ou une citation . 1 Dans dans PRE _ _ 9 periph _ _ _ _ _ 2 un un DET _ _ 3 spe _ _ _ _ _ 3 cas cas NOM _ _ 1 dep _ _ _ _ _ 4 comme comme COO _ _ 5 mark _ _ _ _ _ 5 dans dans PRE _ _ 1 para _ _ _ _ _ 6 l' le DET _ _ 7 spe _ _ _ _ _ 7 autre autre PRQ _ _ 5 dep _ _ _ _ _ 8 il il CLS _ _ 9 subj _ _ _ _ _ 9 doit devoir VRB _ _ 0 root _ _ _ _ _ 10 bien bien ADV _ _ 9 dep _ _ _ _ _ 11 exister exister VNF _ _ 9 dep _ _ _ _ _ 12 une un DET _ _ 13 spe _ _ _ _ _ 13 référence référence NOM _ _ 11 dep _ _ _ _ _ 14 ou ou COO _ _ 16 mark _ _ _ _ _ 15 une un DET _ _ 16 spe _ _ _ _ _ 16 citation citation NOM _ _ 13 para _ _ _ _ _ 17 . . PUNC _ _ 9 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-49 # text = En particulier , si Bourbaki connaissait Gödel , on doit bien trouver une référence . 1 En en PRE _ _ 10 periph _ _ _ _ _ 2 particulier particulier NOM _ _ 1 dep _ _ _ _ _ 3 , , PUNC _ _ 1 punc _ _ _ _ _ 4 si si CSU _ _ 10 periph _ _ _ _ _ 5 Bourbaki Bourbaki NOM _ _ 6 subj _ _ _ _ _ 6 connaissait connaître VRB _ _ 4 dep _ _ _ _ _ 7 Gödel Gödel NOM _ _ 6 dep _ _ _ _ _ 8 , , PUNC _ _ 4 punc _ _ _ _ _ 9 on on CLS _ _ 10 subj _ _ _ _ _ 10 doit devoir VRB _ _ 0 root _ _ _ _ _ 11 bien bien ADV _ _ 10 dep _ _ _ _ _ 12 trouver trouver VNF _ _ 10 dep _ _ _ _ _ 13 une un DET _ _ 14 spe _ _ _ _ _ 14 référence référence NOM _ _ 12 dep _ _ _ _ _ 15 . . PUNC _ _ 10 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-50 # text = Bourbaki Eléments de mathématiques Diffusion CCLS 1977 pp. EIV73 à EIV 76 . 1 Bourbaki Bourbaki NOM _ _ 0 root _ _ _ _ _ 2 Eléments Eléments NOM _ _ 1 dep _ _ _ _ _ 3 de de PRE _ _ 1 dep _ _ _ _ _ 4 mathématiques mathématique ADJ _ _ 5 dep _ _ _ _ _ 5 Diffusion Diffusion NOM _ _ 3 dep _ _ _ _ _ 6 CCLS CCLS NOM _ _ 5 dep _ _ _ _ _ 7 1977 1977 NUM _ _ 8 spe _ _ _ _ _ 8 pp. page NOM _ _ 5 dep _ _ _ _ _ 9 EIV73 EIV73 NOM _ _ 8 dep _ _ _ _ _ 10 à à PRE _ _ 8 dep _ _ _ _ _ 11 EIV EIV NOM _ _ 10 dep _ _ _ _ _ 12 76 76 NUM _ _ 8 dep _ _ _ _ _ 13 . . PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-51 # text = Il y a notamment un résumé de la démarche suivie par Gödel , un rapprochement avec le théorème du modèle dénombrable de Löwenheim-Skolem et des considérations sur l'Entscheidungsproblem . 1 Il il CLS _ _ 3 subj _ _ _ _ _ 2 y le CLI _ _ 3 dep _ _ _ _ _ 3 a avoir VRB _ _ 0 root _ _ _ _ _ 4 notamment notamment ADV _ _ 3 dep _ _ _ _ _ 5 un un DET _ _ 6 spe _ _ _ _ _ 6 résumé résumé NOM _ _ 3 dep _ _ _ _ _ 7 de de PRE _ _ 6 dep _ _ _ _ _ 8 la le DET _ _ 9 spe _ _ _ _ _ 9 démarche démarche NOM _ _ 7 dep _ _ _ _ _ 10 suivie suivre VPP _ _ 9 dep _ _ _ _ _ 11 par par PRE _ _ 10 dep _ _ _ _ _ 12 Gödel Gödel NOM _ _ 11 dep _ _ _ _ _ 13 , , PUNC _ _ 15 punc _ _ _ _ _ 14 un un DET _ _ 15 spe _ _ _ _ _ 15 rapprochement rapprochement NOM _ _ 12 dep _ _ _ _ _ 16 avec avec PRE _ _ 15 dep _ _ _ _ _ 17 le le DET _ _ 18 spe _ _ _ _ _ 18 théorème théorème NOM _ _ 16 dep _ _ _ _ _ 19 du de PRE _ _ 18 dep _ _ _ _ _ 20 modèle modèle NOM _ _ 19 dep _ _ _ _ _ 21 dénombrable dénombrable ADJ _ _ 20 dep _ _ _ _ _ 22 de de PRE _ _ 20 dep _ _ _ _ _ 23 Löwenheim-Skolem Löwenheim-Skolem NOM _ _ 22 dep _ _ _ _ _ 24 et et COO _ _ 25 mark _ _ _ _ _ 25 des de PRE _ _ 22 para _ _ _ _ _ 26 considérations considération NOM _ _ 25 dep _ _ _ _ _ 27 sur sur PRE _ _ 26 dep _ _ _ _ _ 28 l' le DET _ _ 29 spe _ _ _ _ _ 29 Entscheidungsproblem Entscheidungsproblem NOM _ _ 27 dep _ _ _ _ _ 30 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-52 # text = A noter que Gentzen a réussi à prouver la consistance de l'arithmétique formalisée en utilisant " intuitivement " l'induction transfinie jusqu'à l'ordinal & 206;& 181;o . 1 A à PRE _ _ 14 periph _ _ _ _ _ 2 noter noter VNF _ _ 1 dep _ _ _ _ _ 3 que que CSU _ _ 2 dep _ _ _ _ _ 4 Gentzen Gentzen NOM _ _ 6 subj _ _ _ _ _ 5 a avoir VRB _ _ 6 aux _ _ _ _ _ 6 réussi réussir VPP _ _ 3 dep _ _ _ _ _ 7 à à PRE _ _ 6 dep _ _ _ _ _ 8 prouver prouver VNF _ _ 7 dep _ _ _ _ _ 9 la le DET _ _ 10 spe _ _ _ _ _ 10 consistance consistance NOM _ _ 8 dep _ _ _ _ _ 11 de de PRE _ _ 10 dep _ _ _ _ _ 12 l' le DET _ _ 13 spe _ _ _ _ _ 13 arithmétique arithmétique NOM _ _ 11 dep _ _ _ _ _ 14 formalisée formaliser VPP _ _ 0 root _ _ _ _ _ 15 en en PRE _ _ 14 dep _ _ _ _ _ 16 utilisant utiliser VPR _ _ 15 dep _ _ _ _ _ 17 " " PUNC _ _ 18 punc _ _ _ _ _ 18 intuitivement intuitivement ADV _ _ 16 dep _ _ _ _ _ 19 " " PUNC _ _ 20 punc _ _ _ _ _ 20 l' le DET _ _ 21 spe _ _ _ _ _ 21 induction induction NOM _ _ 16 dep _ _ _ _ _ 22 transfinie transfini ADJ _ _ 21 dep _ _ _ _ _ 23 jusqu'à jusqu'à PRE _ _ 16 dep _ _ _ _ _ 24 l' le DET _ _ 25 spe _ _ _ _ _ 25 ordinal ordinal NOM _ _ 23 dep _ _ _ _ _ 26 εo εo ADJ _ _ 25 dep _ _ _ _ _ 27 . . PUNC _ _ 14 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-53 # text = Bien entendu , cette démarche ne relève pas des " procédés finis " de Hilbert - cadre dans lequel le théorème d'incomplétude s'applique . 1 Bien bien entendu ADV _ _ 2 dep _ _ _ _ _ 2 entendu bien entendu ADV _ _ 7 periph _ _ _ _ _ 3 , , PUNC _ _ 2 punc _ _ _ _ _ 4 cette ce DET _ _ 5 spe _ _ _ _ _ 5 démarche démarche NOM _ _ 7 subj _ _ _ _ _ 6 ne ne ADV _ _ 7 dep _ _ _ _ _ 7 relève relever VRB _ _ 0 root _ _ _ _ _ 8 pas pas ADV _ _ 7 dep _ _ _ _ _ 9 des de PRE _ _ 7 dep _ _ _ _ _ 10 " " PUNC _ _ 11 punc _ _ _ _ _ 11 procédés procédé NOM _ _ 9 dep _ _ _ _ _ 12 finis fini ADJ _ _ 11 dep _ _ _ _ _ 13 " " PUNC _ _ 14 punc _ _ _ _ _ 14 de de PRE _ _ 11 dep _ _ _ _ _ 15 Hilbert Hilbert NOM _ _ 14 dep _ _ _ _ _ 16 - - PUNC _ _ 15 punc _ _ _ _ _ 17 cadre cadre NOM _ _ 15 dep _ _ _ _ _ 18 dans dans PRE _ _ 25 periph _ _ _ _ _ 19 lequel lequel PRQ _ _ 18 dep _ _ _ _ _ 20 le le DET _ _ 21 spe _ _ _ _ _ 21 théorème théorème NOM _ _ 25 subj _ _ _ _ _ 22 d' de PRE _ _ 21 dep _ _ _ _ _ 23 incomplétude incomplétude NOM _ _ 22 dep _ _ _ _ _ 24 s' s' CLI _ _ 25 dep _ _ _ _ _ 25 applique appliquer VRB _ _ 17 dep _ _ _ _ _ 26 . . PUNC _ _ 7 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-54 # text = Je parais un peu pointilleux , mais ne parlons -nous pas de logique ? 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 parais paraître VRB _ _ 0 root _ _ _ _ _ 3 un un peu ADV _ _ 4 dep _ _ _ _ _ 4 peu un peu ADV _ _ 2 dep _ _ _ _ _ 5 pointilleux pointilleux NOM _ _ 2 dep _ _ _ _ _ 6 , , PUNC _ _ 9 punc _ _ _ _ _ 7 mais mais COO _ _ 9 mark _ _ _ _ _ 8 ne ne ADV _ _ 9 dep _ _ _ _ _ 9 parlons parler VRB _ _ 2 para _ _ _ _ _ 10 -nous -nous CLS _ _ 9 subj _ _ _ _ _ 11 pas pas ADV _ _ 9 dep _ _ _ _ _ 12 de de PRE _ _ 9 dep _ _ _ _ _ 13 logique logique NOM _ _ 12 dep _ _ _ _ _ 14 ? ? PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-55 # text = La « démarche » de Gödel n'est pas le « résultat » . 1 La le DET _ _ 3 spe _ _ _ _ _ 2 « « PUNC _ _ 3 punc _ _ _ _ _ 3 démarche démarche NOM _ _ 8 subj _ _ _ _ _ 4 » » PUNC _ _ 3 punc _ _ _ _ _ 5 de de PRE _ _ 3 dep _ _ _ _ _ 6 Gödel Gödel NOM _ _ 5 dep _ _ _ _ _ 7 n' ne ADV _ _ 8 dep _ _ _ _ _ 8 est être VRB _ _ 0 root _ _ _ _ _ 9 pas pas ADV _ _ 8 dep _ _ _ _ _ 10 le le DET _ _ 12 spe _ _ _ _ _ 11 « « PUNC _ _ 12 punc _ _ _ _ _ 12 résultat résultat NOM _ _ 8 dep _ _ _ _ _ 13 » » PUNC _ _ 12 punc _ _ _ _ _ 14 . . PUNC _ _ 8 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-56 # text = Merci pour l'information vérifiable . 1 Merci merci NOM _ _ 0 root _ _ _ _ _ 2 pour pour PRE _ _ 1 dep _ _ _ _ _ 3 l' le DET _ _ 4 spe _ _ _ _ _ 4 information information NOM _ _ 2 dep _ _ _ _ _ 5 vérifiable vérifiable ADJ _ _ 4 dep _ _ _ _ _ 6 . . PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-57 # text = Le résultat y est , bien entendu . 1 Le le DET _ _ 2 spe _ _ _ _ _ 2 résultat résultat NOM _ _ 4 subj _ _ _ _ _ 3 y le CLI _ _ 4 dep _ _ _ _ _ 4 est être VRB _ _ 0 root _ _ _ _ _ 5 , , PUNC _ _ 6 punc _ _ _ _ _ 6 bien bien entendu ADV _ _ 4 dep _ _ _ _ _ 7 entendu bien entendu ADJ _ _ 6 dep _ _ _ _ _ 8 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-58 # text = Dans la page EIV73 , Bourbaki dit , à propos des théorèmes de non-catégoricité : " Le premier en date est dû à K. Gödel ( XLIV a ) qui a montré que , si T est non-contradictoire et si les axiomes de l'arithmétique formalisée sont des théorèmes de T , alors T n'est pas catégorique . L'idée fondamentale de son ingénieuse méthode consiste à établir une correspondance biunivoque - bien entendu , au moyen de procédés finis - entre les énoncés métamathématiques et certaines propositions de l'arithmétique formalisée ; nous nous bornerons à en esquisser les grandes lignes ( .... ) " 1 Dans dans PRE _ _ 7 periph _ _ _ _ _ 2 la le DET _ _ 3 spe _ _ _ _ _ 3 page page NOM _ _ 1 dep _ _ _ _ _ 4 EIV73 EIV73 NOM _ _ 3 dep _ _ _ _ _ 5 , , PUNC _ _ 1 punc _ _ _ _ _ 6 Bourbaki Bourbaki NOM _ _ 7 subj _ _ _ _ _ 7 dit dire VRB _ _ 0 root _ _ _ _ _ 8 , , PUNC _ _ 32 punc _ _ _ _ _ 9 à à propos de PRE _ _ 7 dep _ _ _ _ _ 10 propos à propos de DET _ _ 9 dep _ _ _ _ _ 11 des à propos de PRE _ _ 10 dep _ _ _ _ _ 12 théorèmes théorème NOM _ _ 11 dep _ _ _ _ _ 13 de de PRE _ _ 12 dep _ _ _ _ _ 14 non-catégoricité non- NOM _ _ 13 dep _ _ _ _ _ 15 : : PUNC _ _ 32 punc _ _ _ _ _ 16 " " PUNC _ _ 17 punc _ _ _ _ _ 17 Le Le DET _ _ 18 spe _ _ _ _ _ 18 premier premier NOM _ _ 22 subj _ _ _ _ _ 19 en en PRE _ _ 18 dep _ _ _ _ _ 20 date date NOM _ _ 19 dep _ _ _ _ _ 21 est être VRB _ _ 22 aux _ _ _ _ _ 22 dû devoir VPP _ _ 7 dep _ _ _ _ _ 23 à à PRE _ _ 22 dep _ _ _ _ _ 24 K. K. NOM _ _ 23 dep _ _ _ _ _ 25 Gödel Gödel NOM _ _ 24 dep _ _ _ _ _ 26 ( ( PUNC _ _ 28 punc _ _ _ _ _ 27 XLIV XLIV PRQ _ _ 28 subj _ _ _ _ _ 28 a avoir VRB _ _ 22 parenth _ _ _ _ _ 29 ) ) PUNC _ _ 28 punc _ _ _ _ _ 30 qui qui PRQ _ _ 32 subj _ _ _ _ _ 31 a avoir VRB _ _ 32 aux _ _ _ _ _ 32 montré montrer VPP _ _ 0 root _ _ _ _ _ 33 que que CSU _ _ 32 dep _ _ _ _ _ 34 , , PUNC _ _ 67 punc _ _ _ _ _ 35 si si CSU _ _ 56 periph _ _ _ _ _ 36 T T NOM _ _ 37 subj _ _ _ _ _ 37 est être VRB _ _ 35 dep _ _ _ _ _ 38 non-contradictoire non- ADJ _ _ 37 dep _ _ _ _ _ 39 et et COO _ _ 40 mark _ _ _ _ _ 40 si si CSU _ _ 35 para _ _ _ _ _ 41 les le DET _ _ 42 spe _ _ _ _ _ 42 axiomes axiome NOM _ _ 47 subj _ _ _ _ _ 43 de de PRE _ _ 42 dep _ _ _ _ _ 44 l' le DET _ _ 45 spe _ _ _ _ _ 45 arithmétique arithmétique NOM _ _ 43 dep _ _ _ _ _ 46 formalisée formaliser ADJ _ _ 45 dep _ _ _ _ _ 47 sont être VRB _ _ 40 dep _ _ _ _ _ 48 des un DET _ _ 49 spe _ _ _ _ _ 49 théorèmes théorème NOM _ _ 47 dep _ _ _ _ _ 50 de de PRE _ _ 49 dep _ _ _ _ _ 51 T T NOM _ _ 50 dep _ _ _ _ _ 52 , , PUNC _ _ 35 punc _ _ _ _ _ 53 alors alors ADV _ _ 56 periph _ _ _ _ _ 54 T T NOM _ _ 56 subj _ _ _ _ _ 55 n' ne ADV _ _ 56 dep _ _ _ _ _ 56 est être VRB _ _ 33 dep _ _ _ _ _ 57 pas pas ADV _ _ 56 dep _ _ _ _ _ 58 catégorique catégorique ADJ _ _ 56 dep _ _ _ _ _ 59 . . PUNC _ _ 32 punc _ _ _ _ _ 60 L' L' DET _ _ 61 spe _ _ _ _ _ 61 idée idée NOM _ _ 67 subj _ _ _ _ _ 62 fondamentale fondamental ADJ _ _ 61 dep _ _ _ _ _ 63 de de PRE _ _ 61 dep _ _ _ _ _ 64 son son DET _ _ 66 spe _ _ _ _ _ 65 ingénieuse ingénieux ADJ _ _ 66 dep _ _ _ _ _ 66 méthode méthode NOM _ _ 63 dep _ _ _ _ _ 67 consiste consister VRB _ _ 22 dep _ _ _ _ _ 68 à à PRE _ _ 67 dep _ _ _ _ _ 69 établir établir VNF _ _ 68 dep _ _ _ _ _ 70 une un DET _ _ 71 spe _ _ _ _ _ 71 correspondance correspondance NOM _ _ 69 dep _ _ _ _ _ 72 biunivoque biunivoque ADJ _ _ 71 dep _ _ _ _ _ 73 - - PUNC _ _ 69 punc _ _ _ _ _ 74 bien bien ADV _ _ 75 periph _ _ _ _ _ 75 entendu entendre VPP _ _ 69 dep _ _ _ _ _ 76 , , PUNC _ _ 97 punc _ _ _ _ _ 77 au au moyen de PRE _ _ 75 dep _ _ _ _ _ 78 moyen au moyen de NOM _ _ 77 dep _ _ _ _ _ 79 de au moyen de PRE _ _ 78 dep _ _ _ _ _ 80 procédés procédé NOM _ _ 79 dep _ _ _ _ _ 81 finis fini ADJ _ _ 80 dep _ _ _ _ _ 82 - - PUNC _ _ 69 punc _ _ _ _ _ 83 entre entre PRE _ _ 69 dep _ _ _ _ _ 84 les le DET _ _ 85 spe _ _ _ _ _ 85 énoncés énoncé NOM _ _ 83 dep _ _ _ _ _ 86 métamathématiques métamathématique ADJ _ _ 85 dep _ _ _ _ _ 87 et et COO _ _ 89 mark _ _ _ _ _ 88 certaines certain DET _ _ 89 spe _ _ _ _ _ 89 propositions proposition NOM _ _ 85 para _ _ _ _ _ 90 de de PRE _ _ 89 dep _ _ _ _ _ 91 l' le DET _ _ 92 spe _ _ _ _ _ 92 arithmétique arithmétique NOM _ _ 90 dep _ _ _ _ _ 93 formalisée formaliser ADJ _ _ 92 dep _ _ _ _ _ 94 ; ; PUNC _ _ 97 punc _ _ _ _ _ 95 nous nous CLS _ _ 97 subj _ _ _ _ _ 96 nous nous CLI _ _ 97 dep _ _ _ _ _ 97 bornerons borner VRB _ _ 67 dep _ _ _ _ _ 98 à à PRE _ _ 97 dep _ _ _ _ _ 99 en le CLI _ _ 100 dep _ _ _ _ _ 100 esquisser esquisser VNF _ _ 98 dep _ _ _ _ _ 101 les le DET _ _ 103 spe _ _ _ _ _ 102 grandes grand ADJ _ _ 103 dep _ _ _ _ _ 103 lignes ligne NOM _ _ 100 dep _ _ _ _ _ 104 ( ( PUNC _ _ 105 punc _ _ _ _ _ 105 .... (...) PUNC _ _ 106 punc _ _ _ _ _ 106 ) ) PUNC _ _ 105 punc _ _ _ _ _ 107 " " PUNC _ _ 106 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-59 # text = XLIV a , c'est évidemment Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme , Monatsch für Math u . 1 XLIV xliv PRQ _ _ 2 subj _ _ _ _ _ 2 a avoir VRB _ _ 0 root _ _ _ _ _ 3 , , PUNC _ _ 5 punc _ _ _ _ _ 4 c' ce CLS _ _ 5 subj _ _ _ _ _ 5 est être VRB _ _ 2 dep _ _ _ _ _ 6 évidemment évidemment ADV _ _ 5 dep _ _ _ _ _ 7 Über Über formal unentscheidbare sätze der principia mathematica und verwandter systeme NOM _ _ 16 dep _ _ _ _ _ 8 formal Über formal unentscheidbare sätze der principia mathematica und verwandter systeme NOM _ _ 16 dep _ _ _ _ _ 9 unentscheidbare Über formal unentscheidbare sätze der principia mathematica und verwandter systeme NOM _ _ 16 dep _ _ _ _ _ 10 Sätze Sätze NOM _ _ 16 dep _ _ _ _ _ 11 der Über formal unentscheidbare sätze der principia mathematica und verwandter systeme NOM _ _ 16 dep _ _ _ _ _ 12 Principia Principia NOM _ _ 16 dep _ _ _ _ _ 13 Mathematica Mathematica NOM _ _ 16 dep _ _ _ _ _ 14 und Über formal unentscheidbare sätze der principia mathematica und verwandter systeme NOM _ _ 16 dep _ _ _ _ _ 15 verwandter Über formal unentscheidbare sätze der principia mathematica und verwandter systeme NOM _ _ 16 dep _ _ _ _ _ 16 Systeme Systeme NOM _ _ 5 dep _ _ _ _ _ 17 , , PUNC _ _ 21 punc _ _ _ _ _ 18 Monatsch Monatsch NOM _ _ 21 dep _ _ _ _ _ 19 für monatsch für math u NOM _ _ 21 dep _ _ _ _ _ 20 Math Math NOM _ _ 21 dep _ _ _ _ _ 21 u monatsch für math u NOM _ _ 16 dep _ _ _ _ _ 22 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-60 # text = Phys. , 1 Phys. Phys. NOM _ _ 0 root _ _ _ _ _ 2 , , PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-61 # text = t . XXXVIII , Kurt Gödel 1931 . 1 t t NOM _ _ 5 periph _ _ _ _ _ 2 . . PUNC _ _ 1 punc _ _ _ _ _ 3 XXXVIII XXXVIII NOM _ _ 5 periph _ _ _ _ _ 4 , , PUNC _ _ 3 punc _ _ _ _ _ 5 Kurt Kurt NOM _ _ 0 root _ _ _ _ _ 6 Gödel Gödel NOM _ _ 5 dep _ _ _ _ _ 7 1931 1931 NUM _ _ 5 dep _ _ _ _ _ 8 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-62 # text = Le point culminant se trouve dans les pages 173 à 198 . 1 Le le DET _ _ 2 spe _ _ _ _ _ 2 point point NOM _ _ 5 subj _ _ _ _ _ 3 culminant culminant ADJ _ _ 2 dep _ _ _ _ _ 4 se se CLI _ _ 5 dep _ _ _ _ _ 5 trouve trouver VRB _ _ 0 root _ _ _ _ _ 6 dans dans PRE _ _ 5 dep _ _ _ _ _ 7 les le DET _ _ 8 spe _ _ _ _ _ 8 pages page NOM _ _ 6 dep _ _ _ _ _ 9 173 173 NUM _ _ 8 dep _ _ _ _ _ 10 à à PRE _ _ 5 dep _ _ _ _ _ 11 198 198 NUM _ _ 10 dep _ _ _ _ _ 12 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-63 # text = Je pense qu'il s'agit de la complétude . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 pense penser VRB _ _ 0 root _ _ _ _ _ 3 qu' que CSU _ _ 2 dep _ _ _ _ _ 4 il il CLS _ _ 6 subj _ _ _ _ _ 5 s' s' CLI _ _ 6 dep _ _ _ _ _ 6 agit agir VRB _ _ 3 dep _ _ _ _ _ 7 de de PRE _ _ 6 dep _ _ _ _ _ 8 la le DET _ _ 9 spe _ _ _ _ _ 9 complétude complétude NOM _ _ 7 dep _ _ _ _ _ 10 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-64 # text = Pourquoi Bourbaki emploie -t-il le mot catégoricité ? 1 Pourquoi pourquoi? ADV _ _ 3 periph _ _ _ _ _ 2 Bourbaki Bourbaki NOM _ _ 3 subj _ _ _ _ _ 3 emploie employer VRB _ _ 0 root _ _ _ _ _ 4 -t-il -t-il CLS _ _ 3 subj _ _ _ _ _ 5 le le DET _ _ 6 spe _ _ _ _ _ 6 mot mot NOM _ _ 3 dep _ _ _ _ _ 7 catégoricité catégoricité NOM _ _ 6 dep _ _ _ _ _ 8 ? ? PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-65 # text = Bourbaki appelle catégorique toute théorie T pour laquelle , si A est une proposition de T ne contenant aucune lettre autre que les constantes de T , soit A soit ¬A est un théorème de T . 1 Bourbaki Bourbaki NOM _ _ 2 subj _ _ _ _ _ 2 appelle appeler VRB _ _ 0 root _ _ _ _ _ 3 catégorique catégorique ADJ _ _ 2 dep _ _ _ _ _ 4 toute tout DET _ _ 5 spe _ _ _ _ _ 5 théorie théorie NOM _ _ 2 dep _ _ _ _ _ 6 T T NOM _ _ 5 dep _ _ _ _ _ 7 pour pour PRE _ _ 32 periph _ _ _ _ _ 8 laquelle lequel PRQ _ _ 7 dep _ _ _ _ _ 9 , , PUNC _ _ 7 punc _ _ _ _ _ 10 si si CSU _ _ 32 periph _ _ _ _ _ 11 A A NOM _ _ 12 subj _ _ _ _ _ 12 est être VRB _ _ 10 dep _ _ _ _ _ 13 une un DET _ _ 14 spe _ _ _ _ _ 14 proposition proposition NOM _ _ 12 dep _ _ _ _ _ 15 de de PRE _ _ 14 dep _ _ _ _ _ 16 T T NOM _ _ 15 dep _ _ _ _ _ 17 ne ne ADV _ _ 18 dep _ _ _ _ _ 18 contenant contenir VPR _ _ 14 dep _ _ _ _ _ 19 aucune aucun DET _ _ 20 spe _ _ _ _ _ 20 lettre lettre NOM _ _ 18 dep _ _ _ _ _ 21 autre autre ADJ _ _ 20 dep _ _ _ _ _ 22 que que CSU _ _ 21 dep _ _ _ _ _ 23 les le DET _ _ 24 spe _ _ _ _ _ 24 constantes constante NOM _ _ 22 dep _ _ _ _ _ 25 de de PRE _ _ 24 dep _ _ _ _ _ 26 T T NOM _ _ 25 dep _ _ _ _ _ 27 , , PUNC _ _ 10 punc _ _ _ _ _ 28 soit soit COO _ _ 30 mark _ _ _ _ _ 29 A A NOM _ _ 32 subj _ _ _ _ _ 30 soit soit COO _ _ 31 mark _ _ _ _ _ 31 ¬A ¬A NOM _ _ 29 para _ _ _ _ _ 32 est être VRB _ _ 5 dep _ _ _ _ _ 33 un un DET _ _ 34 spe _ _ _ _ _ 34 théorème théorème NOM _ _ 32 dep _ _ _ _ _ 35 de de PRE _ _ 34 dep _ _ _ _ _ 36 T T NOM _ _ 35 dep _ _ _ _ _ 37 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-66 # text = L'article anglais catégoricité dit ceci : 1 L' le DET _ _ 2 spe _ _ _ _ _ 2 article article NOM _ _ 5 subj _ _ _ _ _ 3 anglais anglais ADJ _ _ 4 dep _ _ _ _ _ 4 catégoricité catégoricité NOM _ _ 2 dep _ _ _ _ _ 5 dit dire VRB _ _ 0 root _ _ _ _ _ 6 ceci ceci PRQ _ _ 5 dep _ _ _ _ _ 7 : : PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-67 # text = " Oswald Veblen in 1904 defined a theory to be categorical if all of its models are isomorphic . It follows from the definition above and the Löwenheim-Skolem theorem that any first-order theory with a model of infinite cardinality cannot be categorical . One is then immediately led to the more subtle notion of & 206;& 186;-categoricity , which asks : for which cardinals & 206;& 186; is there exactly one model of cardinality & 206;& 186; of the given theory T up to isomorphism ? " 1 " " PUNC _ _ 0 root _ _ _ _ _ 2 Oswald Oswald NOM _ _ 0 root _ _ _ _ _ 3 Veblen Veblen NOM _ _ 2 dep _ _ _ _ _ 4 in in ADJ _ _ 0 root _ _ _ _ _ 5 1904 1904 NUM _ _ 15 spe _ _ _ _ _ 6 defined defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 7 a defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 8 theory defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 9 to defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 10 be defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 11 categorical defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 12 if defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 13 all defined a theory to be categorical if all of its NOM _ _ 15 periph _ _ _ _ _ 14 of defined a theory to be categorical if all of its NOM _ _ 15 dep _ _ _ _ _ 15 its defined a theory to be categorical if all of its NOM _ _ 0 root _ _ _ _ _ 16 models modeler ADJ _ _ 17 dep _ _ _ _ _ 17 are are NOM _ _ 15 dep _ _ _ _ _ 18 isomorphic isomorphie NOM _ _ 0 root _ _ _ _ _ 19 . . PUNC _ _ 18 punc _ _ _ _ _ 20 It It NOM _ _ 33 dep _ _ _ _ _ 21 follows it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 22 from it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 23 the it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 24 definition it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 25 above it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 26 and it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 27 the it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 28 Löwenheim-Skolem Löwenheim-Skolem NOM _ _ 33 dep _ _ _ _ _ 29 theorem it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 30 that it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 31 any it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 32 first-order it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 33 dep _ _ _ _ _ 33 theory it follows from the definition above and the löwenheim-skolem theorem that any first-order theory NOM _ _ 35 subj _ _ _ _ _ 34 with bit NOM _ _ 33 dep _ _ _ _ _ 35 a avoir VRB _ _ 0 root _ _ _ _ _ 36 model modèle ADJ _ _ 42 dep _ _ _ _ _ 37 of of infinite cardinality cannot be categorical NOM _ _ 42 dep _ _ _ _ _ 38 infinite of infinite cardinality cannot be categorical NOM _ _ 42 dep _ _ _ _ _ 39 cardinality of infinite cardinality cannot be categorical NOM _ _ 42 dep _ _ _ _ _ 40 cannot of infinite cardinality cannot be categorical NOM _ _ 42 dep _ _ _ _ _ 41 be of infinite cardinality cannot be categorical NOM _ _ 42 dep _ _ _ _ _ 42 categorical of infinite cardinality cannot be categorical NOM _ _ 35 dep _ _ _ _ _ 43 . . PUNC _ _ 35 punc _ _ _ _ _ 44 One One NOM _ _ 55 dep _ _ _ _ _ 45 is one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 46 then one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 47 immediately one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 48 led one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 49 to one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 50 the one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 51 more one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 52 subtle one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 53 notion one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 54 of one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 55 dep _ _ _ _ _ 55 κ-categoricity one is then immediately led to the more subtle notion of κ-categoricity NOM _ _ 35 dep _ _ _ _ _ 56 , , PUNC _ _ 57 punc _ _ _ _ _ 57 which chiche ADJ _ _ 35 dep _ _ _ _ _ 58 asks asseoir ADJ _ _ 35 dep _ _ _ _ _ 59 : : PUNC _ _ 60 punc _ _ _ _ _ 60 for for which cardinals κ is there exactly NOM _ _ 66 periph _ _ _ _ _ 61 which for which cardinals κ is there exactly NOM _ _ 66 periph _ _ _ _ _ 62 cardinals for which cardinals κ is there exactly NOM _ _ 66 periph _ _ _ _ _ 63 κ for which cardinals κ is there exactly NOM _ _ 66 periph _ _ _ _ _ 64 is for which cardinals κ is there exactly NOM _ _ 66 periph _ _ _ _ _ 65 there for which cardinals κ is there exactly NOM _ _ 66 dep _ _ _ _ _ 66 exactly for which cardinals κ is there exactly NOM _ _ 0 root _ _ _ _ _ 67 one one CLS _ _ 68 subj _ _ _ _ _ 68 model modeler VRB _ _ 0 root _ _ _ _ _ 69 of of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 70 cardinality of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 71 κ of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 72 of of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 73 the of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 74 given of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 75 theory of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 76 T T NOM _ _ 80 periph _ _ _ _ _ 77 up of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 78 to of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 periph _ _ _ _ _ 79 isomorphism of cardinality κ of the given theory t up to isomorphism ? NOM _ _ 80 dep _ _ _ _ _ 80 ? of cardinality κ of the given theory t up to isomorphism ? PUNC _ _ 0 root _ _ _ _ _ 81 " " PUNC _ _ 80 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-68 # text = Visiblement la notion de catégoricité utilisée par Bourbaki est celle d'Oswald Veblen , car si une théorie n'admet qu'un seul modèle à un isomorphisme près , cela équivaut à dire qu'elle est complète . 1 Visiblement visiblement ADV _ _ 9 periph _ _ _ _ _ 2 la le DET _ _ 3 spe _ _ _ _ _ 3 notion notion NOM _ _ 9 subj _ _ _ _ _ 4 de de PRE _ _ 3 dep _ _ _ _ _ 5 catégoricité catégoricité NOM _ _ 4 dep _ _ _ _ _ 6 utilisée utiliser VPP _ _ 3 dep _ _ _ _ _ 7 par par PRE _ _ 6 dep _ _ _ _ _ 8 Bourbaki Bourbaki NOM _ _ 7 dep _ _ _ _ _ 9 est être VRB _ _ 0 root _ _ _ _ _ 10 celle celui PRQ _ _ 9 dep _ _ _ _ _ 11 d' de PRE _ _ 10 dep _ _ _ _ _ 12 Oswald Oswald NOM _ _ 11 dep _ _ _ _ _ 13 Veblen Veblen NOM _ _ 12 dep _ _ _ _ _ 14 , , PUNC _ _ 16 punc _ _ _ _ _ 15 car car COO _ _ 16 mark _ _ _ _ _ 16 si si CSU _ _ 11 para _ _ _ _ _ 17 une un DET _ _ 18 spe _ _ _ _ _ 18 théorie théorie NOM _ _ 20 subj _ _ _ _ _ 19 n' ne ADV _ _ 20 dep _ _ _ _ _ 20 admet admettre VRB _ _ 16 dep _ _ _ _ _ 21 qu' que ADV _ _ 20 dep _ _ _ _ _ 22 un un DET _ _ 24 spe _ _ _ _ _ 23 seul seul ADJ _ _ 24 dep _ _ _ _ _ 24 modèle modèle NOM _ _ 20 dep _ _ _ _ _ 25 à à PRE _ _ 24 dep _ _ _ _ _ 26 un un DET _ _ 27 spe _ _ _ _ _ 27 isomorphisme isomorphisme NOM _ _ 25 dep _ _ _ _ _ 28 près près ADJ _ _ 27 dep _ _ _ _ _ 29 , , PUNC _ _ 31 punc _ _ _ _ _ 30 cela cela PRQ _ _ 31 subj _ _ _ _ _ 31 équivaut équivaloir VRB _ _ 16 dep _ _ _ _ _ 32 à à PRE _ _ 31 dep _ _ _ _ _ 33 dire dire NOM _ _ 32 dep _ _ _ _ _ 34 qu' que CSU _ _ 31 dep _ _ _ _ _ 35 elle elle CLS _ _ 36 subj _ _ _ _ _ 36 est être VRB _ _ 34 dep _ _ _ _ _ 37 complète complet ADJ _ _ 36 dep _ _ _ _ _ 38 . . PUNC _ _ 9 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-69 # text = ça n'équivaut pas : 1 ça cela PRQ _ _ 3 subj _ _ _ _ _ 2 n' ne ADV _ _ 3 dep _ _ _ _ _ 3 équivaut équivaloir VRB _ _ 0 root _ _ _ _ _ 4 pas pas ADV _ _ 3 dep _ _ _ _ _ 5 : : PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-70 # text = il existe des théories complètes ayant des modèles infinis , et qui ont donc des modèles de cardinalités distinctes . 1 il il CLS _ _ 2 subj _ _ _ _ _ 2 existe exister VRB _ _ 0 root _ _ _ _ _ 3 des un DET _ _ 4 spe _ _ _ _ _ 4 théories théorie NOM _ _ 2 dep _ _ _ _ _ 5 complètes complet ADJ _ _ 4 dep _ _ _ _ _ 6 ayant avoir VPR _ _ 4 dep _ _ _ _ _ 7 des un DET _ _ 8 spe _ _ _ _ _ 8 modèles modèle NOM _ _ 6 dep _ _ _ _ _ 9 infinis infini ADJ _ _ 8 dep _ _ _ _ _ 10 , , PUNC _ _ 13 punc _ _ _ _ _ 11 et et COO _ _ 13 mark _ _ _ _ _ 12 qui qui PRQ _ _ 13 subj _ _ _ _ _ 13 ont avoir VRB _ _ 9 para _ _ _ _ _ 14 donc donc ADV _ _ 13 dep _ _ _ _ _ 15 des un DET _ _ 16 spe _ _ _ _ _ 16 modèles modèle NOM _ _ 13 dep _ _ _ _ _ 17 de de PRE _ _ 16 dep _ _ _ _ _ 18 cardinalités cardinalité NOM _ _ 17 dep _ _ _ _ _ 19 distinctes distinct ADJ _ _ 18 dep _ _ _ _ _ 20 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-71 # text = Il y a eu historiquement un certain flottement sur la notion de catégoricité ( y compris chez Gödel ) , le théorème de Löwenheim-Skolem de l'article anglais est le théorème ascendant qui n'est pas de Löwenheim ni Skolem me semble -t-il , je ne sais plus de quand il date . 1 Il il CLS _ _ 4 subj _ _ _ _ _ 2 y le CLI _ _ 4 dep _ _ _ _ _ 3 a avoir VRB _ _ 4 aux _ _ _ _ _ 4 eu avoir VPP _ _ 0 root _ _ _ _ _ 5 historiquement historiquement ADV _ _ 4 dep _ _ _ _ _ 6 un un DET _ _ 8 spe _ _ _ _ _ 7 certain certain ADJ _ _ 8 dep _ _ _ _ _ 8 flottement flottement NOM _ _ 4 dep _ _ _ _ _ 9 sur sur PRE _ _ 8 dep _ _ _ _ _ 10 la le DET _ _ 11 spe _ _ _ _ _ 11 notion notion NOM _ _ 9 dep _ _ _ _ _ 12 de de PRE _ _ 11 dep _ _ _ _ _ 13 catégoricité catégoricité NOM _ _ 12 dep _ _ _ _ _ 14 ( ( PUNC _ _ 16 punc _ _ _ _ _ 15 y y compris PRE _ _ 16 dep _ _ _ _ _ 16 compris y compris PRE _ _ 11 parenth _ _ _ _ _ 17 chez chez PRE _ _ 16 dep _ _ _ _ _ 18 Gödel Gödel NOM _ _ 17 dep _ _ _ _ _ 19 ) ) PUNC _ _ 16 punc _ _ _ _ _ 20 , , PUNC _ _ 47 punc _ _ _ _ _ 21 le le DET _ _ 22 spe _ _ _ _ _ 22 théorème théorème NOM _ _ 29 subj _ _ _ _ _ 23 de de PRE _ _ 22 dep _ _ _ _ _ 24 Löwenheim-Skolem Löwenheim-Skolem NOM _ _ 23 dep _ _ _ _ _ 25 de de PRE _ _ 22 dep _ _ _ _ _ 26 l' le DET _ _ 27 spe _ _ _ _ _ 27 article article NOM _ _ 25 dep _ _ _ _ _ 28 anglais anglais ADJ _ _ 27 dep _ _ _ _ _ 29 est être VRB _ _ 8 dep _ _ _ _ _ 30 le le DET _ _ 31 spe _ _ _ _ _ 31 théorème théorème NOM _ _ 29 dep _ _ _ _ _ 32 ascendant ascendant ADJ _ _ 31 dep _ _ _ _ _ 33 qui qui PRQ _ _ 35 subj _ _ _ _ _ 34 n' ne ADV _ _ 35 dep _ _ _ _ _ 35 est être VRB _ _ 31 dep _ _ _ _ _ 36 pas pas ADV _ _ 35 dep _ _ _ _ _ 37 de de PRE _ _ 35 dep _ _ _ _ _ 38 Löwenheim Löwenheim NOM _ _ 37 dep _ _ _ _ _ 39 ni ni COO _ _ 42 mark _ _ _ _ _ 40 Skolem Skolem NOM _ _ 42 subj _ _ _ _ _ 41 me le CLI _ _ 42 dep _ _ _ _ _ 42 semble sembler VRB _ _ 29 para _ _ _ _ _ 43 -t-il -t-il CLS _ _ 42 subj _ _ _ _ _ 44 , , PUNC _ _ 47 punc _ _ _ _ _ 45 je je CLS _ _ 47 subj _ _ _ _ _ 46 ne ne ADV _ _ 47 dep _ _ _ _ _ 47 sais savoir VRB _ _ 4 dep _ _ _ _ _ 48 plus plus ADV _ _ 47 dep _ _ _ _ _ 49 de de PRE _ _ 52 periph _ _ _ _ _ 50 quand quand? ADV _ _ 49 dep _ _ _ _ _ 51 il il CLS _ _ 52 subj _ _ _ _ _ 52 date dater VRB _ _ 47 dep _ _ _ _ _ 53 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-72 # text = Qu'entendaient -ils par catégoriques à l'époque ? ( aleph 0 -catégoriques ? Etait -ce bien clair pour eux ? ) . 1 Qu' que CSU _ _ 0 root _ _ _ _ _ 2 entendaient entendre VRB _ _ 1 dep _ _ _ _ _ 3 -ils -ils CLS _ _ 2 subj _ _ _ _ _ 4 par par PRE _ _ 2 dep _ _ _ _ _ 5 catégoriques catégorique ADJ _ _ 4 dep _ _ _ _ _ 6 à à PRE _ _ 2 dep _ _ _ _ _ 7 l' le DET _ _ 8 spe _ _ _ _ _ 8 époque époque NOM _ _ 6 dep _ _ _ _ _ 9 ? ? PUNC _ _ 1 punc _ _ _ _ _ 10 ( ( PUNC _ _ 1 punc _ _ _ _ _ 11 aleph aleph NOM _ _ 0 root _ _ _ _ _ 12 0 0 NUM _ _ 11 dep _ _ _ _ _ 13 -catégoriques catégorique ADJ _ _ 11 dep _ _ _ _ _ 14 ? ? PUNC _ _ 11 punc _ _ _ _ _ 15 Etait Etait VRB _ _ 0 root _ _ _ _ _ 16 -ce ce CLS _ _ 0 root _ _ _ _ _ 17 bien bien ADV _ _ 18 dep _ _ _ _ _ 18 clair clair ADJ _ _ 0 root _ _ _ _ _ 19 pour pour PRE _ _ 18 dep _ _ _ _ _ 20 eux lui PRQ _ _ 19 dep _ _ _ _ _ 21 ? ? PUNC _ _ 18 punc _ _ _ _ _ 22 ) ) PUNC _ _ 0 root _ _ _ _ _ 23 . . PUNC _ _ 22 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-73 # text = En tout cas aujourd'hui il est clair que la notion de catégoricité au sens strict n'a pas d'intérêt . 1 En en PRE _ _ 6 periph _ _ _ _ _ 2 tout tout DET _ _ 3 spe _ _ _ _ _ 3 cas cas NOM _ _ 1 dep _ _ _ _ _ 4 aujourd'hui aujourd'hui ADV _ _ 6 periph _ _ _ _ _ 5 il il CLS _ _ 6 subj _ _ _ _ _ 6 est être VRB _ _ 0 root _ _ _ _ _ 7 clair clair ADJ _ _ 6 dep _ _ _ _ _ 8 que que CSU _ _ 6 dep _ _ _ _ _ 9 la le DET _ _ 10 spe _ _ _ _ _ 10 notion notion NOM _ _ 17 subj _ _ _ _ _ 11 de de PRE _ _ 10 dep _ _ _ _ _ 12 catégoricité catégoricité NOM _ _ 11 dep _ _ _ _ _ 13 au à PRE _ _ 10 dep _ _ _ _ _ 14 sens sens NOM _ _ 13 dep _ _ _ _ _ 15 strict strict ADJ _ _ 14 dep _ _ _ _ _ 16 n' ne ADV _ _ 17 dep _ _ _ _ _ 17 a avoir VRB _ _ 8 dep _ _ _ _ _ 18 pas pas de DET _ _ 20 spe _ _ _ _ _ 19 d' pas de PRE _ _ 18 dep _ _ _ _ _ 20 intérêt intérêt NOM _ _ 17 dep _ _ _ _ _ 21 . . PUNC _ _ 6 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-74 # text = A mon avis le contributeur qui écrivait que Bourbaki ignorait Gödel devait vouloir dire que Bourbaki a fait comme si le programme de Hilbert n'avait pas été remis en cause par Gödel , ça ne peut pas être au sens strict ( les théorèmes de Gödel ont quand même finis par être assez connus ) . 1 A à PRE _ _ 12 periph _ _ _ _ _ 2 mon son DET _ _ 3 spe _ _ _ _ _ 3 avis avis NOM _ _ 1 dep _ _ _ _ _ 4 le le DET _ _ 5 spe _ _ _ _ _ 5 contributeur contributeur NOM _ _ 12 subj _ _ _ _ _ 6 qui qui PRQ _ _ 7 subj _ _ _ _ _ 7 écrivait écrire VRB _ _ 5 dep _ _ _ _ _ 8 que que CSU _ _ 7 dep _ _ _ _ _ 9 Bourbaki Bourbaki NOM _ _ 10 subj _ _ _ _ _ 10 ignorait ignorer VRB _ _ 8 dep _ _ _ _ _ 11 Gödel Gödel NOM _ _ 10 dep _ _ _ _ _ 12 devait devoir VRB _ _ 0 root _ _ _ _ _ 13 vouloir vouloir VNF _ _ 12 dep _ _ _ _ _ 14 dire dire VNF _ _ 13 dep _ _ _ _ _ 15 que que CSU _ _ 14 dep _ _ _ _ _ 16 Bourbaki Bourbaki NOM _ _ 18 subj _ _ _ _ _ 17 a avoir VRB _ _ 18 aux _ _ _ _ _ 18 fait faire VPP _ _ 15 dep _ _ _ _ _ 19 comme comme CSU _ _ 18 dep _ _ _ _ _ 20 si si CSU _ _ 37 periph _ _ _ _ _ 21 le le DET _ _ 22 spe _ _ _ _ _ 22 programme programme NOM _ _ 29 subj _ _ _ _ _ 23 de de PRE _ _ 22 dep _ _ _ _ _ 24 Hilbert Hilbert NOM _ _ 23 dep _ _ _ _ _ 25 n' ne ADV _ _ 29 dep _ _ _ _ _ 26 avait avoir VRB _ _ 28 aux _ _ _ _ _ 27 pas pas ADV _ _ 29 dep _ _ _ _ _ 28 été être VPP _ _ 29 aux _ _ _ _ _ 29 remis remettre VPP _ _ 20 dep _ _ _ _ _ 30 en en PRE _ _ 29 dep _ _ _ _ _ 31 cause cause NOM _ _ 30 dep _ _ _ _ _ 32 par par PRE _ _ 29 dep _ _ _ _ _ 33 Gödel Gödel NOM _ _ 32 dep _ _ _ _ _ 34 , , PUNC _ _ 20 punc _ _ _ _ _ 35 ça cela PRQ _ _ 37 subj _ _ _ _ _ 36 ne ne ADV _ _ 37 dep _ _ _ _ _ 37 peut pouvoir VRB _ _ 19 dep _ _ _ _ _ 38 pas pas ADV _ _ 37 dep _ _ _ _ _ 39 être être VNF _ _ 37 dep _ _ _ _ _ 40 au à PRE _ _ 39 dep _ _ _ _ _ 41 sens sens NOM _ _ 40 dep _ _ _ _ _ 42 strict strict ADJ _ _ 41 dep _ _ _ _ _ 43 ( ( PUNC _ _ 37 punc _ _ _ _ _ 44 les le DET _ _ 45 spe _ _ _ _ _ 45 théorèmes théorème NOM _ _ 51 subj _ _ _ _ _ 46 de de PRE _ _ 45 dep _ _ _ _ _ 47 Gödel Gödel NOM _ _ 46 dep _ _ _ _ _ 48 ont avoir VRB _ _ 51 aux _ _ _ _ _ 49 quand quand même ADV _ _ 50 dep _ _ _ _ _ 50 même quand même ADV _ _ 51 periph _ _ _ _ _ 51 finis finir VPP _ _ 39 dep _ _ _ _ _ 52 par par PRE _ _ 51 dep _ _ _ _ _ 53 être être VNF _ _ 55 aux _ _ _ _ _ 54 assez assez ADV _ _ 55 periph _ _ _ _ _ 55 connus connaître VPP _ _ 52 dep _ _ _ _ _ 56 ) ) PUNC _ _ 37 punc _ _ _ _ _ 57 . . PUNC _ _ 12 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-75 # text = Ceci dit je ne défends pas le texte , de toute façon ce genre de chose demande une référence , et puis je ne crois pas que cet article soit amendable . 1 Ceci ceci dit ADV _ _ 2 dep _ _ _ _ _ 2 dit ceci dit ADV _ _ 5 periph _ _ _ _ _ 3 je je CLS _ _ 5 subj _ _ _ _ _ 4 ne ne ADV _ _ 5 dep _ _ _ _ _ 5 défends défendre VRB _ _ 0 root _ _ _ _ _ 6 pas pas ADV _ _ 5 dep _ _ _ _ _ 7 le le DET _ _ 8 spe _ _ _ _ _ 8 texte texte NOM _ _ 5 dep _ _ _ _ _ 9 , , PUNC _ _ 17 punc _ _ _ _ _ 10 de de toute façon PRE _ _ 12 dep _ _ _ _ _ 11 toute de toute façon ADV _ _ 12 dep _ _ _ _ _ 12 façon de toute façon ADV _ _ 17 periph _ _ _ _ _ 13 ce ce DET _ _ 14 spe _ _ _ _ _ 14 genre genre NOM _ _ 17 subj _ _ _ _ _ 15 de de PRE _ _ 14 dep _ _ _ _ _ 16 chose chose NOM _ _ 15 dep _ _ _ _ _ 17 demande demander VRB _ _ 5 dep _ _ _ _ _ 18 une un DET _ _ 19 spe _ _ _ _ _ 19 référence référence NOM _ _ 17 dep _ _ _ _ _ 20 , , PUNC _ _ 25 punc _ _ _ _ _ 21 et et puis COO _ _ 22 mark _ _ _ _ _ 22 puis et puis COO _ _ 25 mark _ _ _ _ _ 23 je je CLS _ _ 25 subj _ _ _ _ _ 24 ne ne ADV _ _ 25 dep _ _ _ _ _ 25 crois croire VRB _ _ 17 para _ _ _ _ _ 26 pas pas ADV _ _ 25 dep _ _ _ _ _ 27 que que CSU _ _ 25 dep _ _ _ _ _ 28 cet ce DET _ _ 29 spe _ _ _ _ _ 29 article article NOM _ _ 30 subj _ _ _ _ _ 30 soit être VRB _ _ 27 dep _ _ _ _ _ 31 amendable amendable ADJ _ _ 25 dep _ _ _ _ _ 32 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-76 # text = OK je n'ai pas beaucoup réfléchi quand j'ai parlé de la catégoricité . 1 OK OK INT _ _ 7 periph _ _ _ _ _ 2 je je CLS _ _ 7 subj _ _ _ _ _ 3 n' ne ADV _ _ 7 dep _ _ _ _ _ 4 ai avoir VRB _ _ 7 aux _ _ _ _ _ 5 pas pas ADV _ _ 7 dep _ _ _ _ _ 6 beaucoup beaucoup ADV _ _ 7 dep _ _ _ _ _ 7 réfléchi réfléchir VPP _ _ 0 root _ _ _ _ _ 8 quand quand CSU _ _ 7 dep _ _ _ _ _ 9 j' j' CLS _ _ 11 subj _ _ _ _ _ 10 ai avoir VRB _ _ 11 aux _ _ _ _ _ 11 parlé parler VPP _ _ 8 dep _ _ _ _ _ 12 de de PRE _ _ 11 dep _ _ _ _ _ 13 la le DET _ _ 14 spe _ _ _ _ _ 14 catégoricité catégoricité NOM _ _ 12 dep _ _ _ _ _ 15 . . PUNC _ _ 7 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-77 # text = Mais Bourbaki prend bien en compte l'échec du programme de Hilbert , en page EIV75 : " C'est en effet dans la question de la non-contradiction des théories mathématiques ( .... ) que les résultats se sont révélés les plus décevants . ( .... ) ils [ l'école de Hilbert ] croyaient toucher au but et démontrer , non seulement la non-contradiction de formalismes partiels , couvrant une partie de l'arithmétique , mais aussi celle de la théorie des ensembles , lorsque Gödel , s'appuyant sur la non-catégoricité de l'arithmétique , en déduisit l'impossibilité de démontrer par les " procédés finis " de Hilbert , la non-contradiction de toute théorie T contenant cette dernière . " 1 Mais mais COO _ _ 3 mark _ _ _ _ _ 2 Bourbaki Bourbaki NOM _ _ 3 subj _ _ _ _ _ 3 prend prendre VRB _ _ 0 root _ _ _ _ _ 4 bien bien ADV _ _ 3 dep _ _ _ _ _ 5 en en PRE _ _ 3 dep _ _ _ _ _ 6 compte compte NOM _ _ 5 dep _ _ _ _ _ 7 l' le DET _ _ 8 spe _ _ _ _ _ 8 échec échec NOM _ _ 3 dep _ _ _ _ _ 9 du de PRE _ _ 8 dep _ _ _ _ _ 10 programme programme NOM _ _ 9 dep _ _ _ _ _ 11 de de PRE _ _ 10 dep _ _ _ _ _ 12 Hilbert Hilbert NOM _ _ 11 dep _ _ _ _ _ 13 , , PUNC _ _ 65 punc _ _ _ _ _ 14 en en PRE _ _ 3 dep _ _ _ _ _ 15 page page NOM _ _ 14 dep _ _ _ _ _ 16 EIV75 EIV75 NOM _ _ 15 dep _ _ _ _ _ 17 : : PUNC _ _ 65 punc _ _ _ _ _ 18 " " PUNC _ _ 20 punc _ _ _ _ _ 19 C' C' CLS _ _ 20 subj _ _ _ _ _ 20 est être VRB _ _ 3 dep _ _ _ _ _ 21 en en effet PRE _ _ 20 dep _ _ _ _ _ 22 effet en effet NOM _ _ 21 dep _ _ _ _ _ 23 dans dans PRE _ _ 20 dep _ _ _ _ _ 24 la le DET _ _ 25 spe _ _ _ _ _ 25 question question NOM _ _ 23 dep _ _ _ _ _ 26 de de PRE _ _ 25 dep _ _ _ _ _ 27 la le DET _ _ 28 spe _ _ _ _ _ 28 non-contradiction non-contradiction NOM _ _ 26 dep _ _ _ _ _ 29 des de PRE _ _ 28 dep _ _ _ _ _ 30 théories théorie NOM _ _ 29 dep _ _ _ _ _ 31 mathématiques mathématique ADJ _ _ 30 dep _ _ _ _ _ 32 ( ( PUNC _ _ 33 punc _ _ _ _ _ 33 .... (...) PUNC _ _ 65 punc _ _ _ _ _ 34 ) ) PUNC _ _ 33 punc _ _ _ _ _ 35 que que CSU _ _ 0 root _ _ _ _ _ 36 les le DET _ _ 37 spe _ _ _ _ _ 37 résultats résultat NOM _ _ 40 subj _ _ _ _ _ 38 se se CLI _ _ 40 dep _ _ _ _ _ 39 sont être VRB _ _ 40 aux _ _ _ _ _ 40 révélés révéler VPP _ _ 0 root _ _ _ _ _ 41 les le DET _ _ 43 spe _ _ _ _ _ 42 plus plus ADV _ _ 43 dep _ _ _ _ _ 43 décevants décevant ADJ _ _ 40 dep _ _ _ _ _ 44 . . PUNC _ _ 40 punc _ _ _ _ _ 45 ( ( PUNC _ _ 46 punc _ _ _ _ _ 46 .... (...) PUNC _ _ 65 punc _ _ _ _ _ 47 ) ) PUNC _ _ 46 punc _ _ _ _ _ 48 ils ils CLS _ _ 0 root _ _ _ _ _ 49 [ ( PUNC _ _ 65 punc _ _ _ _ _ 50 l' le DET _ _ 51 spe _ _ _ _ _ 51 école école NOM _ _ 0 root _ _ _ _ _ 52 de de PRE _ _ 51 dep _ _ _ _ _ 53 Hilbert Hilbert NOM _ _ 52 dep _ _ _ _ _ 54 ] ) PUNC _ _ 65 punc _ _ _ _ _ 55 croyaient croire VRB _ _ 0 root _ _ _ _ _ 56 toucher toucher VNF _ _ 0 root _ _ _ _ _ 57 au à PRE _ _ 56 dep _ _ _ _ _ 58 but but NOM _ _ 57 dep _ _ _ _ _ 59 et et COO _ _ 60 mark _ _ _ _ _ 60 démontrer démontrer VNF _ _ 56 para _ _ _ _ _ 61 , , PUNC _ _ 65 punc _ _ _ _ _ 62 non non NOM _ _ 0 root _ _ _ _ _ 63 seulement seulement ADV _ _ 62 dep _ _ _ _ _ 64 la le DET _ _ 65 spe _ _ _ _ _ 65 non-contradiction non-contradiction NOM _ _ 0 root _ _ _ _ _ 66 de de PRE _ _ 65 dep _ _ _ _ _ 67 formalismes formalisme NOM _ _ 66 dep _ _ _ _ _ 68 partiels partiel ADJ _ _ 67 dep _ _ _ _ _ 69 , , PUNC _ _ 70 punc _ _ _ _ _ 70 couvrant couvrir VPR _ _ 67 dep _ _ _ _ _ 71 une un DET _ _ 72 spe _ _ _ _ _ 72 partie partie NOM _ _ 70 dep _ _ _ _ _ 73 de de PRE _ _ 72 dep _ _ _ _ _ 74 l' le DET _ _ 75 spe _ _ _ _ _ 75 arithmétique arithmétique NOM _ _ 73 dep _ _ _ _ _ 76 , , PUNC _ _ 79 punc _ _ _ _ _ 77 mais mais aussi COO _ _ 79 mark _ _ _ _ _ 78 aussi mais aussi ADV _ _ 77 dep _ _ _ _ _ 79 celle celui PRQ _ _ 72 para _ _ _ _ _ 80 de de PRE _ _ 79 dep _ _ _ _ _ 81 la le DET _ _ 82 spe _ _ _ _ _ 82 théorie théorie NOM _ _ 80 dep _ _ _ _ _ 83 des de PRE _ _ 82 dep _ _ _ _ _ 84 ensembles ensemble NOM _ _ 83 dep _ _ _ _ _ 85 , , PUNC _ _ 86 punc _ _ _ _ _ 86 lorsque lorsque CSU _ _ 70 dep _ _ _ _ _ 87 Gödel Gödel NOM _ _ 99 subj _ _ _ _ _ 88 , , PUNC _ _ 87 punc _ _ _ _ _ 89 s' s' CLI _ _ 90 dep _ _ _ _ _ 90 appuyant appuyer VPR _ _ 87 dep _ _ _ _ _ 91 sur sur PRE _ _ 90 dep _ _ _ _ _ 92 la le DET _ _ 93 spe _ _ _ _ _ 93 non-catégoricité non- NOM _ _ 91 dep _ _ _ _ _ 94 de de PRE _ _ 93 dep _ _ _ _ _ 95 l' le DET _ _ 96 spe _ _ _ _ _ 96 arithmétique arithmétique NOM _ _ 94 dep _ _ _ _ _ 97 , , PUNC _ _ 87 punc _ _ _ _ _ 98 en le CLI _ _ 99 dep _ _ _ _ _ 99 déduisit déduire VRB _ _ 86 dep _ _ _ _ _ 100 l' le DET _ _ 101 spe _ _ _ _ _ 101 impossibilité impossibilité NOM _ _ 99 dep _ _ _ _ _ 102 de de PRE _ _ 101 dep _ _ _ _ _ 103 démontrer démontrer VNF _ _ 102 dep _ _ _ _ _ 104 par par PRE _ _ 103 dep _ _ _ _ _ 105 les le DET _ _ 107 spe _ _ _ _ _ 106 " " PUNC _ _ 107 punc _ _ _ _ _ 107 procédés procédé NOM _ _ 104 dep _ _ _ _ _ 108 finis fini ADJ _ _ 107 dep _ _ _ _ _ 109 " " PUNC _ _ 107 punc _ _ _ _ _ 110 de de PRE _ _ 107 dep _ _ _ _ _ 111 Hilbert Hilbert NOM _ _ 110 dep _ _ _ _ _ 112 , , PUNC _ _ 114 punc _ _ _ _ _ 113 la le DET _ _ 114 spe _ _ _ _ _ 114 non-contradiction non-contradiction NOM _ _ 103 dep _ _ _ _ _ 115 de de PRE _ _ 114 dep _ _ _ _ _ 116 toute tout DET _ _ 117 spe _ _ _ _ _ 117 théorie théorie NOM _ _ 115 dep _ _ _ _ _ 118 T T NOM _ _ 117 dep _ _ _ _ _ 119 contenant contenir VPR _ _ 117 dep _ _ _ _ _ 120 cette ce DET _ _ 121 spe _ _ _ _ _ 121 dernière dernier ADJ _ _ 119 dep _ _ _ _ _ 122 . . PUNC _ _ 65 punc _ _ _ _ _ 123 " " PUNC _ _ 122 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-78 # text = J'ai relu les deux pages où Bourbaki parle du théorème de Gödel , je les ai scannées et je peux vous les envoyer si vous le désirez . 1 J' j' CLS _ _ 3 subj _ _ _ _ _ 2 ai avoir VRB _ _ 3 aux _ _ _ _ _ 3 relu relire VPP _ _ 0 root _ _ _ _ _ 4 les le DET _ _ 6 spe _ _ _ _ _ 5 deux deux NUM _ _ 6 dep _ _ _ _ _ 6 pages page NOM _ _ 3 dep _ _ _ _ _ 7 où où PRQ _ _ 9 periph _ _ _ _ _ 8 Bourbaki Bourbaki NOM _ _ 9 subj _ _ _ _ _ 9 parle parler VRB _ _ 6 dep _ _ _ _ _ 10 du de PRE _ _ 9 dep _ _ _ _ _ 11 théorème théorème NOM _ _ 10 dep _ _ _ _ _ 12 de de PRE _ _ 11 dep _ _ _ _ _ 13 Gödel Gödel NOM _ _ 12 dep _ _ _ _ _ 14 , , PUNC _ _ 18 punc _ _ _ _ _ 15 je je CLS _ _ 18 subj _ _ _ _ _ 16 les le CLI _ _ 18 dep _ _ _ _ _ 17 ai avoir VRB _ _ 18 aux _ _ _ _ _ 18 scannées scanner VPP _ _ 3 dep _ _ _ _ _ 19 et et COO _ _ 21 mark _ _ _ _ _ 20 je je CLS _ _ 21 subj _ _ _ _ _ 21 peux pouvoir VRB _ _ 18 para _ _ _ _ _ 22 vous le CLI _ _ 24 dep _ _ _ _ _ 23 les le CLI _ _ 24 dep _ _ _ _ _ 24 envoyer envoyer VNF _ _ 21 dep _ _ _ _ _ 25 si si CSU _ _ 21 dep _ _ _ _ _ 26 vous vous CLS _ _ 28 subj _ _ _ _ _ 27 le le CLI _ _ 28 dep _ _ _ _ _ 28 désirez désirer VRB _ _ 25 dep _ _ _ _ _ 29 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-79 # text = Bien sûr , il était faux de dire que « Bourbaki ignorait le théorème de Gödel » , en revanche il est très clair que Bourbaki n'a pas compris la portée de ce théorème ; 1 Bien bien sûr ADV _ _ 2 dep _ _ _ _ _ 2 sûr bien sûr ADV _ _ 5 periph _ _ _ _ _ 3 , , PUNC _ _ 2 punc _ _ _ _ _ 4 il il CLS _ _ 5 subj _ _ _ _ _ 5 était être VRB _ _ 0 root _ _ _ _ _ 6 faux faux NOM _ _ 5 dep _ _ _ _ _ 7 de de PRE _ _ 6 dep _ _ _ _ _ 8 dire dire VNF _ _ 7 dep _ _ _ _ _ 9 que que CSU _ _ 8 dep _ _ _ _ _ 10 « « PUNC _ _ 12 punc _ _ _ _ _ 11 Bourbaki Bourbaki NOM _ _ 12 subj _ _ _ _ _ 12 ignorait ignorer VRB _ _ 9 dep _ _ _ _ _ 13 le le DET _ _ 14 spe _ _ _ _ _ 14 théorème théorème NOM _ _ 12 dep _ _ _ _ _ 15 de de PRE _ _ 14 dep _ _ _ _ _ 16 Gödel Gödel NOM _ _ 15 dep _ _ _ _ _ 17 » » PUNC _ _ 12 punc _ _ _ _ _ 18 , , PUNC _ _ 22 punc _ _ _ _ _ 19 en en revanche PRE _ _ 22 periph _ _ _ _ _ 20 revanche en revanche NOM _ _ 19 dep _ _ _ _ _ 21 il il CLS _ _ 22 subj _ _ _ _ _ 22 est être VRB _ _ 9 dep _ _ _ _ _ 23 très très ADV _ _ 24 dep _ _ _ _ _ 24 clair clair ADJ _ _ 22 dep _ _ _ _ _ 25 que que CSU _ _ 22 dep _ _ _ _ _ 26 Bourbaki Bourbaki NOM _ _ 30 subj _ _ _ _ _ 27 n' ne ADV _ _ 30 dep _ _ _ _ _ 28 a avoir VRB _ _ 30 aux _ _ _ _ _ 29 pas pas ADV _ _ 30 dep _ _ _ _ _ 30 compris comprendre VPP _ _ 25 dep _ _ _ _ _ 31 la le DET _ _ 32 spe _ _ _ _ _ 32 portée portée NOM _ _ 30 dep _ _ _ _ _ 33 de de PRE _ _ 32 dep _ _ _ _ _ 34 ce ce DET _ _ 35 spe _ _ _ _ _ 35 théorème théorème NOM _ _ 33 dep _ _ _ _ _ 36 ; ; PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-80 # text = tout d'abord , il en donne une conséquence très affaiblie , la catégoricité et il se réfère aux « axiomes de l'arithmétique formalisée » sans voir que cela touche toute axiomatisation des entiers , mais surtout il persiste à penser qu'une formalisation des mathématiques ( de la théorie des ensembles comme il l'écrit ) est possible . 1 tout tout d'abord NOM _ _ 7 periph _ _ _ _ _ 2 d' tout d'abord PRE _ _ 1 dep _ _ _ _ _ 3 abord tout d'abord ADV _ _ 2 dep _ _ _ _ _ 4 , , PUNC _ _ 1 punc _ _ _ _ _ 5 il il CLS _ _ 7 subj _ _ _ _ _ 6 en le CLI _ _ 7 dep _ _ _ _ _ 7 donne donner VRB _ _ 0 root _ _ _ _ _ 8 une un DET _ _ 9 spe _ _ _ _ _ 9 conséquence conséquence NOM _ _ 7 dep _ _ _ _ _ 10 très très ADV _ _ 11 dep _ _ _ _ _ 11 affaiblie affaiblir ADJ _ _ 9 dep _ _ _ _ _ 12 , , PUNC _ _ 18 punc _ _ _ _ _ 13 la le DET _ _ 14 spe _ _ _ _ _ 14 catégoricité catégoricité NOM _ _ 7 dep _ _ _ _ _ 15 et et COO _ _ 18 mark _ _ _ _ _ 16 il il CLS _ _ 18 subj _ _ _ _ _ 17 se se CLI _ _ 18 dep _ _ _ _ _ 18 réfère référer VRB _ _ 7 para _ _ _ _ _ 19 aux à PRE _ _ 18 dep _ _ _ _ _ 20 « « PUNC _ _ 21 punc _ _ _ _ _ 21 axiomes axiome NOM _ _ 19 dep _ _ _ _ _ 22 de de PRE _ _ 21 dep _ _ _ _ _ 23 l' le DET _ _ 24 spe _ _ _ _ _ 24 arithmétique arithmétique NOM _ _ 22 dep _ _ _ _ _ 25 formalisée formaliser ADJ _ _ 24 dep _ _ _ _ _ 26 » » PUNC _ _ 21 punc _ _ _ _ _ 27 sans sans PRE _ _ 18 dep _ _ _ _ _ 28 voir voir VNF _ _ 27 dep _ _ _ _ _ 29 que que CSU _ _ 28 dep _ _ _ _ _ 30 cela cela PRQ _ _ 31 subj _ _ _ _ _ 31 touche toucher VRB _ _ 29 dep _ _ _ _ _ 32 toute tout DET _ _ 33 spe _ _ _ _ _ 33 axiomatisation axiomatisation NOM _ _ 31 dep _ _ _ _ _ 34 des de PRE _ _ 33 dep _ _ _ _ _ 35 entiers entier NOM _ _ 34 dep _ _ _ _ _ 36 , , PUNC _ _ 40 punc _ _ _ _ _ 37 mais mais COO _ _ 40 mark _ _ _ _ _ 38 surtout surtout ADV _ _ 37 dep _ _ _ _ _ 39 il il CLS _ _ 40 subj _ _ _ _ _ 40 persiste persister VRB _ _ 18 para _ _ _ _ _ 41 à à PRE _ _ 40 dep _ _ _ _ _ 42 penser penser VNF _ _ 41 dep _ _ _ _ _ 43 qu' que CSU _ _ 42 dep _ _ _ _ _ 44 une un DET _ _ 45 spe _ _ _ _ _ 45 formalisation formalisation NOM _ _ 59 subj _ _ _ _ _ 46 des de PRE _ _ 45 dep _ _ _ _ _ 47 mathématiques mathématique NOM _ _ 46 dep _ _ _ _ _ 48 ( ( PUNC _ _ 49 punc _ _ _ _ _ 49 de de PRE _ _ 45 parenth _ _ _ _ _ 50 la le DET _ _ 51 spe _ _ _ _ _ 51 théorie théorie NOM _ _ 49 dep _ _ _ _ _ 52 des de PRE _ _ 51 dep _ _ _ _ _ 53 ensembles ensemble NOM _ _ 52 dep _ _ _ _ _ 54 comme comme CSU _ _ 53 dep _ _ _ _ _ 55 il il CLS _ _ 57 subj _ _ _ _ _ 56 l' le CLI _ _ 57 dep _ _ _ _ _ 57 écrit écrire VRB _ _ 54 dep _ _ _ _ _ 58 ) ) PUNC _ _ 49 punc _ _ _ _ _ 59 est être VRB _ _ 43 dep _ _ _ _ _ 60 possible possible ADJ _ _ 59 dep _ _ _ _ _ 61 . . PUNC _ _ 7 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-81 # text = En conséquence , je pense qu'une histoire de la logique doit évoquer le fait qu'un groupe de mathématiciens attaché au formalisme aient pu ne pas saisir jusqu'en 1970 ( mon édition est de 1970 ) la portée du théorème de Gödel . 1 En en conséquence PRE _ _ 5 periph _ _ _ _ _ 2 conséquence en conséquence NOM _ _ 1 dep _ _ _ _ _ 3 , , PUNC _ _ 1 punc _ _ _ _ _ 4 je je CLS _ _ 5 subj _ _ _ _ _ 5 pense penser VRB _ _ 0 root _ _ _ _ _ 6 qu' que CSU _ _ 5 dep _ _ _ _ _ 7 une un DET _ _ 8 spe _ _ _ _ _ 8 histoire histoire NOM _ _ 12 subj _ _ _ _ _ 9 de de PRE _ _ 8 dep _ _ _ _ _ 10 la le DET _ _ 11 spe _ _ _ _ _ 11 logique logique NOM _ _ 9 dep _ _ _ _ _ 12 doit devoir VRB _ _ 6 dep _ _ _ _ _ 13 évoquer évoquer VNF _ _ 12 dep _ _ _ _ _ 14 le le DET _ _ 15 spe _ _ _ _ _ 15 fait fait NOM _ _ 13 dep _ _ _ _ _ 16 qu' que CSU _ _ 15 dep _ _ _ _ _ 17 un un DET _ _ 18 spe _ _ _ _ _ 18 groupe groupe NOM _ _ 25 subj _ _ _ _ _ 19 de de PRE _ _ 18 dep _ _ _ _ _ 20 mathématiciens mathématicien NOM _ _ 19 dep _ _ _ _ _ 21 attaché attacher VPP _ _ 18 dep _ _ _ _ _ 22 au à PRE _ _ 21 dep _ _ _ _ _ 23 formalisme formalisme NOM _ _ 22 dep _ _ _ _ _ 24 aient avoir VRB _ _ 25 aux _ _ _ _ _ 25 pu pouvoir VPP _ _ 16 dep _ _ _ _ _ 26 ne ne ADV _ _ 28 dep _ _ _ _ _ 27 pas pas ADV _ _ 28 dep _ _ _ _ _ 28 saisir saisir VNF _ _ 25 dep _ _ _ _ _ 29 jusqu'en jusqu'en PRE _ _ 28 dep _ _ _ _ _ 30 1970 1970 NUM _ _ 29 dep _ _ _ _ _ 31 ( ( PUNC _ _ 25 punc _ _ _ _ _ 32 mon son DET _ _ 33 spe _ _ _ _ _ 33 édition édition NOM _ _ 34 subj _ _ _ _ _ 34 est être VRB _ _ 28 dep _ _ _ _ _ 35 de de PRE _ _ 34 dep _ _ _ _ _ 36 1970 1970 NUM _ _ 35 dep _ _ _ _ _ 37 ) ) PUNC _ _ 25 punc _ _ _ _ _ 38 la le DET _ _ 39 spe _ _ _ _ _ 39 portée portée NOM _ _ 28 dep _ _ _ _ _ 40 du de PRE _ _ 39 dep _ _ _ _ _ 41 théorème théorème NOM _ _ 40 dep _ _ _ _ _ 42 de de PRE _ _ 41 dep _ _ _ _ _ 43 Gödel Gödel NOM _ _ 42 dep _ _ _ _ _ 44 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-82 # text = P.S . Sur la page 75 , la façon dont il parle de la décision ou l'esquive est aussi assez « étonnante » vue d'aujourd'hui . 1 P.S p.s NOM _ _ 19 periph _ _ _ _ _ 2 . . PUNC _ _ 1 punc _ _ _ _ _ 3 Sur Sur PRE _ _ 19 periph _ _ _ _ _ 4 la le DET _ _ 5 spe _ _ _ _ _ 5 page page NOM _ _ 3 dep _ _ _ _ _ 6 75 75 NUM _ _ 5 dep _ _ _ _ _ 7 , , PUNC _ _ 3 punc _ _ _ _ _ 8 la le DET _ _ 9 spe _ _ _ _ _ 9 façon façon NOM _ _ 19 subj _ _ _ _ _ 10 dont dont PRQ _ _ 12 periph _ _ _ _ _ 11 il il CLS _ _ 12 subj _ _ _ _ _ 12 parle parler VRB _ _ 9 dep _ _ _ _ _ 13 de de PRE _ _ 12 dep _ _ _ _ _ 14 la le DET _ _ 15 spe _ _ _ _ _ 15 décision décision NOM _ _ 13 dep _ _ _ _ _ 16 ou ou COO _ _ 18 mark _ _ _ _ _ 17 l' le DET _ _ 18 spe _ _ _ _ _ 18 esquive esquive NOM _ _ 15 para _ _ _ _ _ 19 est être VRB _ _ 0 root _ _ _ _ _ 20 aussi aussi ADV _ _ 21 dep _ _ _ _ _ 21 assez assez ADV _ _ 19 dep _ _ _ _ _ 22 « « PUNC _ _ 23 punc _ _ _ _ _ 23 étonnante étonnant ADJ _ _ 25 dep _ _ _ _ _ 24 » » PUNC _ _ 23 punc _ _ _ _ _ 25 vue vue NOM _ _ 19 dep _ _ _ _ _ 26 d' de PRE _ _ 25 dep _ _ _ _ _ 27 aujourd'hui aujourd'hui ADV _ _ 26 dep _ _ _ _ _ 28 . . PUNC _ _ 19 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-83 # text = On peut critiquer la terminologie . 1 On on CLS _ _ 2 subj _ _ _ _ _ 2 peut pouvoir VRB _ _ 0 root _ _ _ _ _ 3 critiquer critiquer VNF _ _ 2 dep _ _ _ _ _ 4 la le DET _ _ 5 spe _ _ _ _ _ 5 terminologie terminologie NOM _ _ 3 dep _ _ _ _ _ 6 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-84 # text = La définition de la catégoricité par Bourbaki équivaut à celle de la complétude par Tarski : 1 La le DET _ _ 2 spe _ _ _ _ _ 2 définition définition NOM _ _ 8 subj _ _ _ _ _ 3 de de PRE _ _ 2 dep _ _ _ _ _ 4 la le DET _ _ 5 spe _ _ _ _ _ 5 catégoricité catégoricité NOM _ _ 3 dep _ _ _ _ _ 6 par par PRE _ _ 5 dep _ _ _ _ _ 7 Bourbaki Bourbaki NOM _ _ 6 dep _ _ _ _ _ 8 équivaut équivaloir VRB _ _ 0 root _ _ _ _ _ 9 à à PRE _ _ 8 dep _ _ _ _ _ 10 celle celui PRQ _ _ 9 dep _ _ _ _ _ 11 de de PRE _ _ 10 dep _ _ _ _ _ 12 la le DET _ _ 13 spe _ _ _ _ _ 13 complétude complétude NOM _ _ 11 dep _ _ _ _ _ 14 par par PRE _ _ 13 dep _ _ _ _ _ 15 Tarski Tarski NOM _ _ 14 dep _ _ _ _ _ 16 : : PUNC _ _ 8 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-85 # text = si P est une proposition exprimable dans la théorie , soit P soit ¬P y est démontrable .... 1 si si CSU _ _ 16 periph _ _ _ _ _ 2 P P NOM _ _ 3 subj _ _ _ _ _ 3 est être VRB _ _ 1 dep _ _ _ _ _ 4 une un DET _ _ 5 spe _ _ _ _ _ 5 proposition proposition NOM _ _ 3 dep _ _ _ _ _ 6 exprimable exprimable ADJ _ _ 5 dep _ _ _ _ _ 7 dans dans PRE _ _ 5 dep _ _ _ _ _ 8 la le DET _ _ 9 spe _ _ _ _ _ 9 théorie théorie NOM _ _ 7 dep _ _ _ _ _ 10 , , PUNC _ _ 1 punc _ _ _ _ _ 11 soit soit COO _ _ 13 mark _ _ _ _ _ 12 P P NOM _ _ 16 subj _ _ _ _ _ 13 soit soit COO _ _ 14 mark _ _ _ _ _ 14 ¬P ¬P NOM _ _ 12 para _ _ _ _ _ 15 y le CLI _ _ 16 dep _ _ _ _ _ 16 est être VRB _ _ 0 root _ _ _ _ _ 17 démontrable démontrable ADJ _ _ 16 dep _ _ _ _ _ 18 .... (...) PUNC _ _ 16 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-86 # text = Donc une théorie non-catégorique au sens de Bourbaki est une théorie incomplète au sens de Tarski : 1 Donc donc COO _ _ 9 mark _ _ _ _ _ 2 une un DET _ _ 3 spe _ _ _ _ _ 3 théorie théorie NOM _ _ 9 subj _ _ _ _ _ 4 non-catégorique non- ADJ _ _ 3 dep _ _ _ _ _ 5 au à PRE _ _ 3 dep _ _ _ _ _ 6 sens sens NOM _ _ 5 dep _ _ _ _ _ 7 de de PRE _ _ 6 dep _ _ _ _ _ 8 Bourbaki Bourbaki NOM _ _ 7 dep _ _ _ _ _ 9 est être VRB _ _ 0 root _ _ _ _ _ 10 une un DET _ _ 11 spe _ _ _ _ _ 11 théorie théorie NOM _ _ 9 dep _ _ _ _ _ 12 incomplète incomplet ADJ _ _ 11 dep _ _ _ _ _ 13 au à PRE _ _ 11 dep _ _ _ _ _ 14 sens sens NOM _ _ 13 dep _ _ _ _ _ 15 de de PRE _ _ 14 dep _ _ _ _ _ 16 Tarski Tarski NOM _ _ 15 dep _ _ _ _ _ 17 : : PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-87 # text = ni P ni sa négation ne sont prouvables à l'intérieur de la théorie .... 1 ni ni COO _ _ 7 mark _ _ _ _ _ 2 P P NOM _ _ 7 subj _ _ _ _ _ 3 ni ni COO _ _ 5 mark _ _ _ _ _ 4 sa son DET _ _ 5 spe _ _ _ _ _ 5 négation négation NOM _ _ 2 para _ _ _ _ _ 6 ne ne ADV _ _ 7 dep _ _ _ _ _ 7 sont être VRB _ _ 0 root _ _ _ _ _ 8 prouvables prouvable ADJ _ _ 7 dep _ _ _ _ _ 9 à à PRE _ _ 8 dep _ _ _ _ _ 10 l' le DET _ _ 11 spe _ _ _ _ _ 11 intérieur intérieur NOM _ _ 9 dep _ _ _ _ _ 12 de de PRE _ _ 11 dep _ _ _ _ _ 13 la le DET _ _ 14 spe _ _ _ _ _ 14 théorie théorie NOM _ _ 12 dep _ _ _ _ _ 15 .... (...) PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-88 # text = - 1 - - PUNC _ _ 0 root _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-89 # text = Le théorème de Gödel dit plus que le fait que la théorie des entiers naturels est non catégorique ( ou incomplète au sens de Tarski ) , il dit qu'il existe une proposition Pvraienon démontrable . 1 Le le DET _ _ 2 spe _ _ _ _ _ 2 théorème théorème NOM _ _ 5 subj _ _ _ _ _ 3 de de PRE _ _ 2 dep _ _ _ _ _ 4 Gödel Gödel NOM _ _ 3 dep _ _ _ _ _ 5 dit dire VRB _ _ 0 root _ _ _ _ _ 6 plus plus que ADV _ _ 7 dep _ _ _ _ _ 7 que plus que ADV _ _ 5 dep _ _ _ _ _ 8 le le DET _ _ 9 spe _ _ _ _ _ 9 fait fait NOM _ _ 5 dep _ _ _ _ _ 10 que que CSU _ _ 9 dep _ _ _ _ _ 11 la le DET _ _ 12 spe _ _ _ _ _ 12 théorie théorie NOM _ _ 16 subj _ _ _ _ _ 13 des de PRE _ _ 12 dep _ _ _ _ _ 14 entiers entier NOM _ _ 13 dep _ _ _ _ _ 15 naturels naturel ADJ _ _ 14 dep _ _ _ _ _ 16 est être VRB _ _ 10 dep _ _ _ _ _ 17 non non ADV _ _ 18 dep _ _ _ _ _ 18 catégorique catégorique ADJ _ _ 16 dep _ _ _ _ _ 19 ( ( PUNC _ _ 21 punc _ _ _ _ _ 20 ou ou COO _ _ 21 mark _ _ _ _ _ 21 incomplète incomplet ADJ _ _ 16 parenth _ _ _ _ _ 22 au à PRE _ _ 21 dep _ _ _ _ _ 23 sens sens NOM _ _ 22 dep _ _ _ _ _ 24 de de PRE _ _ 23 dep _ _ _ _ _ 25 Tarski Tarski NOM _ _ 24 dep _ _ _ _ _ 26 ) ) PUNC _ _ 21 punc _ _ _ _ _ 27 , , PUNC _ _ 29 punc _ _ _ _ _ 28 il il CLS _ _ 29 subj _ _ _ _ _ 29 dit dire VRB _ _ 10 dep _ _ _ _ _ 30 qu' que CSU _ _ 29 dep _ _ _ _ _ 31 il il CLS _ _ 32 subj _ _ _ _ _ 32 existe exister VRB _ _ 30 dep _ _ _ _ _ 33 une un DET _ _ 34 spe _ _ _ _ _ 34 proposition proposition NOM _ _ 32 dep _ _ _ _ _ 35 Pvraienon Pvraienon NOM _ _ 34 dep _ _ _ _ _ 36 démontrable démontrable ADJ _ _ 29 dep _ _ _ _ _ 37 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-90 # text = Clairement ¬P ne sera pas démontrable puisqu'elle est fausse et donc on a évidemment la non catégoricité comme cas particulier facile ( je dirais même un peu dégénéré ) ; 1 Clairement clairement ADV _ _ 4 periph _ _ _ _ _ 2 ¬P ¬P NOM _ _ 4 subj _ _ _ _ _ 3 ne ne ADV _ _ 4 dep _ _ _ _ _ 4 sera être VRB _ _ 0 root _ _ _ _ _ 5 pas pas ADV _ _ 4 dep _ _ _ _ _ 6 démontrable démontrable ADJ _ _ 4 dep _ _ _ _ _ 7 puisqu' puisque CSU _ _ 4 dep _ _ _ _ _ 8 elle elle CLS _ _ 9 subj _ _ _ _ _ 9 est être VRB _ _ 7 dep _ _ _ _ _ 10 fausse faux ADJ _ _ 9 dep _ _ _ _ _ 11 et et COO _ _ 14 mark _ _ _ _ _ 12 donc donc ADV _ _ 11 dep _ _ _ _ _ 13 on on CLS _ _ 14 subj _ _ _ _ _ 14 a avoir VRB _ _ 9 para _ _ _ _ _ 15 évidemment évidemment ADV _ _ 14 dep _ _ _ _ _ 16 la le DET _ _ 18 spe _ _ _ _ _ 17 non non NOM _ _ 18 dep _ _ _ _ _ 18 catégoricité catégoricité NOM _ _ 14 dep _ _ _ _ _ 19 comme comme PRE _ _ 14 dep _ _ _ _ _ 20 cas cas NOM _ _ 19 dep _ _ _ _ _ 21 particulier particulier ADJ _ _ 20 dep _ _ _ _ _ 22 facile facile ADJ _ _ 20 dep _ _ _ _ _ 23 ( ( PUNC _ _ 25 punc _ _ _ _ _ 24 je je CLS _ _ 25 subj _ _ _ _ _ 25 dirais dire VRB _ _ 14 parenth _ _ _ _ _ 26 même même ADV _ _ 25 dep _ _ _ _ _ 27 un un peu ADV _ _ 28 dep _ _ _ _ _ 28 peu un peu ADV _ _ 25 dep _ _ _ _ _ 29 dégénéré dégénéré ADJ _ _ 25 dep _ _ _ _ _ 30 ) ) PUNC _ _ 25 punc _ _ _ _ _ 31 ; ; PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-91 # text = mais c'est bien le fait que P ne soit pas démontrable qui est troublant . 1 mais mais COO _ _ 3 mark _ _ _ _ _ 2 c' ce CLS _ _ 3 subj _ _ _ _ _ 3 est être VRB _ _ 14 periph _ _ _ _ _ 4 bien bien ADV _ _ 3 dep _ _ _ _ _ 5 le le DET _ _ 6 spe _ _ _ _ _ 6 fait fait NOM _ _ 3 dep _ _ _ _ _ 7 que que CSU _ _ 6 dep _ _ _ _ _ 8 P P NOM _ _ 10 subj _ _ _ _ _ 9 ne ne ADV _ _ 10 dep _ _ _ _ _ 10 soit être VRB _ _ 7 dep _ _ _ _ _ 11 pas pas ADV _ _ 10 dep _ _ _ _ _ 12 démontrable démontrable ADJ _ _ 10 dep _ _ _ _ _ 13 qui qui PRQ _ _ 14 subj _ _ _ _ _ 14 est être VRB _ _ 0 root _ _ _ _ _ 15 troublant troublant ADJ _ _ 14 dep _ _ _ _ _ 16 . . PUNC _ _ 14 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-92 # text = De plus , si on étend la théorie , il restera toujours une proposition vraie non démontrable . 1 De de plus PRE _ _ 11 periph _ _ _ _ _ 2 plus de plus NOM _ _ 1 dep _ _ _ _ _ 3 , , PUNC _ _ 1 punc _ _ _ _ _ 4 si si CSU _ _ 11 periph _ _ _ _ _ 5 on on CLS _ _ 6 subj _ _ _ _ _ 6 étend étendre VRB _ _ 4 dep _ _ _ _ _ 7 la le DET _ _ 8 spe _ _ _ _ _ 8 théorie théorie NOM _ _ 6 dep _ _ _ _ _ 9 , , PUNC _ _ 4 punc _ _ _ _ _ 10 il il CLS _ _ 11 subj _ _ _ _ _ 11 restera rester VRB _ _ 0 root _ _ _ _ _ 12 toujours toujours ADV _ _ 11 dep _ _ _ _ _ 13 une un DET _ _ 14 spe _ _ _ _ _ 14 proposition proposition NOM _ _ 11 dep _ _ _ _ _ 15 vraie vrai ADJ _ _ 14 dep _ _ _ _ _ 16 non non ADV _ _ 17 dep _ _ _ _ _ 17 démontrable démontrable ADJ _ _ 14 dep _ _ _ _ _ 18 . . PUNC _ _ 11 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-93 # text = Bourbaki n'a visiblement pas compris ces faits ( sens fort de la complétude , nature intrinsèque du résultat ) , puisqu'il espère une théorie des ensembles complète . 1 Bourbaki Bourbaki NOM _ _ 6 subj _ _ _ _ _ 2 n' ne ADV _ _ 6 dep _ _ _ _ _ 3 a avoir VRB _ _ 6 aux _ _ _ _ _ 4 visiblement visiblement ADV _ _ 5 dep _ _ _ _ _ 5 pas pas ADV _ _ 6 dep _ _ _ _ _ 6 compris comprendre VPP _ _ 0 root _ _ _ _ _ 7 ces ce DET _ _ 8 spe _ _ _ _ _ 8 faits fait NOM _ _ 6 dep _ _ _ _ _ 9 ( ( PUNC _ _ 10 punc _ _ _ _ _ 10 sens sens NOM _ _ 6 parenth _ _ _ _ _ 11 fort fort ADJ _ _ 10 dep _ _ _ _ _ 12 de de PRE _ _ 10 dep _ _ _ _ _ 13 la le DET _ _ 14 spe _ _ _ _ _ 14 complétude complétude NOM _ _ 12 dep _ _ _ _ _ 15 , , PUNC _ _ 22 punc _ _ _ _ _ 16 nature nature NOM _ _ 14 dep _ _ _ _ _ 17 intrinsèque intrinsèque ADJ _ _ 16 dep _ _ _ _ _ 18 du de PRE _ _ 16 dep _ _ _ _ _ 19 résultat résultat NOM _ _ 18 dep _ _ _ _ _ 20 ) ) PUNC _ _ 10 punc _ _ _ _ _ 21 , , PUNC _ _ 22 punc _ _ _ _ _ 22 puisqu' puisque CSU _ _ 6 dep _ _ _ _ _ 23 il il CLS _ _ 24 subj _ _ _ _ _ 24 espère espérer VRB _ _ 22 dep _ _ _ _ _ 25 une un DET _ _ 26 spe _ _ _ _ _ 26 théorie théorie NOM _ _ 24 dep _ _ _ _ _ 27 des de PRE _ _ 26 dep _ _ _ _ _ 28 ensembles ensemble NOM _ _ 27 dep _ _ _ _ _ 29 complète complet ADJ _ _ 26 dep _ _ _ _ _ 30 . . PUNC _ _ 6 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-94 # text = Cette foi est répétée à propose du théorème de complétude de Gentzen , page suivante . 1 Cette ce DET _ _ 2 spe _ _ _ _ _ 2 foi foi NOM _ _ 4 subj _ _ _ _ _ 3 est être VRB _ _ 4 aux _ _ _ _ _ 4 répétée répéter VPP _ _ 0 root _ _ _ _ _ 5 à à PRE _ _ 0 root _ _ _ _ _ 6 propose proposer VRB _ _ 0 root _ _ _ _ _ 7 du de PRE _ _ 0 root _ _ _ _ _ 8 théorème théorème NOM _ _ 7 dep _ _ _ _ _ 9 de de PRE _ _ 8 dep _ _ _ _ _ 10 complétude complétude NOM _ _ 9 dep _ _ _ _ _ 11 de de PRE _ _ 10 dep _ _ _ _ _ 12 Gentzen Gentzen NOM _ _ 11 dep _ _ _ _ _ 13 , , PUNC _ _ 14 punc _ _ _ _ _ 14 page page NOM _ _ 12 dep _ _ _ _ _ 15 suivante suivant ADJ _ _ 14 dep _ _ _ _ _ 16 . . PUNC _ _ 7 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-95 # text = Bourbaki a bien vu qu'il y a une proposition vraie non démontrable , comme il le note incidemment , mais il n'a pas vu que c'est ça le résultat fort de Gödel . 1 Bourbaki Bourbaki NOM _ _ 4 subj _ _ _ _ _ 2 a avoir VRB _ _ 4 aux _ _ _ _ _ 3 bien bien ADV _ _ 4 dep _ _ _ _ _ 4 vu voir VPP _ _ 0 root _ _ _ _ _ 5 qu' que ADV _ _ 8 periph _ _ _ _ _ 6 il il CLS _ _ 8 subj _ _ _ _ _ 7 y le CLI _ _ 8 dep _ _ _ _ _ 8 a avoir VRB _ _ 4 dep _ _ _ _ _ 9 une un DET _ _ 10 spe _ _ _ _ _ 10 proposition proposition NOM _ _ 8 dep _ _ _ _ _ 11 vraie vrai ADJ _ _ 10 dep _ _ _ _ _ 12 non non ADV _ _ 13 dep _ _ _ _ _ 13 démontrable démontrable ADJ _ _ 10 dep _ _ _ _ _ 14 , , PUNC _ _ 15 punc _ _ _ _ _ 15 comme comme CSU _ _ 8 dep _ _ _ _ _ 16 il il CLS _ _ 18 subj _ _ _ _ _ 17 le le CLI _ _ 18 dep _ _ _ _ _ 18 note noter VRB _ _ 15 dep _ _ _ _ _ 19 incidemment incidemment ADV _ _ 18 dep _ _ _ _ _ 20 , , PUNC _ _ 26 punc _ _ _ _ _ 21 mais mais COO _ _ 26 mark _ _ _ _ _ 22 il il CLS _ _ 26 subj _ _ _ _ _ 23 n' ne ADV _ _ 26 dep _ _ _ _ _ 24 a avoir VRB _ _ 26 aux _ _ _ _ _ 25 pas pas ADV _ _ 26 dep _ _ _ _ _ 26 vu voir VPP _ _ 18 para _ _ _ _ _ 27 que que CSU _ _ 26 dep _ _ _ _ _ 28 c' ce CLS _ _ 29 subj _ _ _ _ _ 29 est être VRB _ _ 27 dep _ _ _ _ _ 30 ça cela PRQ _ _ 29 dep _ _ _ _ _ 31 le le DET _ _ 32 spe _ _ _ _ _ 32 résultat résultat NOM _ _ 29 subj _ _ _ _ _ 33 fort fort ADJ _ _ 32 dep _ _ _ _ _ 34 de de PRE _ _ 32 dep _ _ _ _ _ 35 Gödel Gödel NOM _ _ 34 dep _ _ _ _ _ 36 . . PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-96 # text = Il n'est pas le seul dans l'erreur . 1 Il il CLS _ _ 3 subj _ _ _ _ _ 2 n' ne ADV _ _ 3 dep _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 pas pas ADV _ _ 3 dep _ _ _ _ _ 5 le le DET _ _ 6 spe _ _ _ _ _ 6 seul seul ADJ _ _ 3 dep _ _ _ _ _ 7 dans dans PRE _ _ 6 dep _ _ _ _ _ 8 l' le DET _ _ 9 spe _ _ _ _ _ 9 erreur erreur NOM _ _ 7 dep _ _ _ _ _ 10 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-97 # text = Je suis en train de lire l'autobiographie ( écrite en 1953 ) de Norbert Wiener , ancien élève de Russell , qui lui aussi assimile le théorème de Gödel à la non-catégorité . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 suis suivre VRB _ _ 0 root _ _ _ _ _ 3 en en PRE _ _ 2 dep _ _ _ _ _ 4 train train NOM _ _ 3 dep _ _ _ _ _ 5 de de PRE _ _ 4 dep _ _ _ _ _ 6 lire lire VNF _ _ 5 dep _ _ _ _ _ 7 l' le DET _ _ 8 spe _ _ _ _ _ 8 autobiographie autobiographie NOM _ _ 6 dep _ _ _ _ _ 9 ( ( PUNC _ _ 10 punc _ _ _ _ _ 10 écrite écrire VPP _ _ 8 parenth _ _ _ _ _ 11 en en PRE _ _ 10 dep _ _ _ _ _ 12 1953 1953 NUM _ _ 11 dep _ _ _ _ _ 13 ) ) PUNC _ _ 10 punc _ _ _ _ _ 14 de de PRE _ _ 4 dep _ _ _ _ _ 15 Norbert Norbert NOM _ _ 14 dep _ _ _ _ _ 16 Wiener Wiener NOM _ _ 15 dep _ _ _ _ _ 17 , , PUNC _ _ 19 punc _ _ _ _ _ 18 ancien ancien ADJ _ _ 19 dep _ _ _ _ _ 19 élève élève NOM _ _ 15 dep _ _ _ _ _ 20 de de PRE _ _ 19 dep _ _ _ _ _ 21 Russell Russell NOM _ _ 20 dep _ _ _ _ _ 22 , , PUNC _ _ 26 punc _ _ _ _ _ 23 qui qui PRQ _ _ 26 subj _ _ _ _ _ 24 lui lui PRQ _ _ 26 periph _ _ _ _ _ 25 aussi aussi ADV _ _ 24 dep _ _ _ _ _ 26 assimile assimiler VRB _ _ 21 dep _ _ _ _ _ 27 le le DET _ _ 28 spe _ _ _ _ _ 28 théorème théorème NOM _ _ 26 dep _ _ _ _ _ 29 de de PRE _ _ 28 dep _ _ _ _ _ 30 Gödel Gödel NOM _ _ 29 dep _ _ _ _ _ 31 à à PRE _ _ 28 dep _ _ _ _ _ 32 la le DET _ _ 33 spe _ _ _ _ _ 33 non-catégorité non-catégorité NOM _ _ 31 dep _ _ _ _ _ 34 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-98 # text = C'est d'ailleurs ce qui m'a mis la puce à l'oreille et envie d'aller voir le texte de Bourbaki . 1 C' ce CLS _ _ 2 subj _ _ _ _ _ 2 est être VRB _ _ 0 root _ _ _ _ _ 3 d' d'ailleurs PRE _ _ 2 dep _ _ _ _ _ 4 ailleurs d'ailleurs NOM _ _ 3 dep _ _ _ _ _ 5 ce ce PRQ _ _ 2 dep _ _ _ _ _ 6 qui qui PRQ _ _ 9 subj _ _ _ _ _ 7 m' le CLI _ _ 9 dep _ _ _ _ _ 8 a avoir VRB _ _ 9 aux _ _ _ _ _ 9 mis mettre VPP _ _ 5 dep _ _ _ _ _ 10 la le DET _ _ 11 spe _ _ _ _ _ 11 puce puce NOM _ _ 9 dep _ _ _ _ _ 12 à à PRE _ _ 11 dep _ _ _ _ _ 13 l' le DET _ _ 14 spe _ _ _ _ _ 14 oreille oreille NOM _ _ 12 dep _ _ _ _ _ 15 et et COO _ _ 16 mark _ _ _ _ _ 16 envie envie NOM _ _ 14 para _ _ _ _ _ 17 d' de PRE _ _ 16 dep _ _ _ _ _ 18 aller aller VNF _ _ 17 dep _ _ _ _ _ 19 voir voir VNF _ _ 18 dep _ _ _ _ _ 20 le le DET _ _ 21 spe _ _ _ _ _ 21 texte texte NOM _ _ 19 dep _ _ _ _ _ 22 de de PRE _ _ 21 dep _ _ _ _ _ 23 Bourbaki Bourbaki NOM _ _ 22 dep _ _ _ _ _ 24 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-99 # text = Bourbaki l'a vu mais ne l'a pas cru , à cause de Gentzen dont la démonstration n'était pas digne de foi , c'est ça ? 1 Bourbaki Bourbaki NOM _ _ 4 subj _ _ _ _ _ 2 l' le CLI _ _ 4 dep _ _ _ _ _ 3 a avoir VRB _ _ 4 aux _ _ _ _ _ 4 vu voir VPP _ _ 0 root _ _ _ _ _ 5 mais mais COO _ _ 10 mark _ _ _ _ _ 6 ne ne ADV _ _ 10 dep _ _ _ _ _ 7 l' le CLI _ _ 10 dep _ _ _ _ _ 8 a avoir VRB _ _ 10 aux _ _ _ _ _ 9 pas pas ADV _ _ 10 dep _ _ _ _ _ 10 cru croire VPP _ _ 4 para _ _ _ _ _ 11 , , PUNC _ _ 12 punc _ _ _ _ _ 12 à à cause de PRE _ _ 10 dep _ _ _ _ _ 13 cause à cause de NOM _ _ 12 dep _ _ _ _ _ 14 de à cause de PRE _ _ 13 dep _ _ _ _ _ 15 Gentzen Gentzen NOM _ _ 14 dep _ _ _ _ _ 16 dont dont PRQ _ _ 20 dep _ _ _ _ _ 17 la le DET _ _ 18 spe _ _ _ _ _ 18 démonstration démonstration NOM _ _ 20 subj _ _ _ _ _ 19 n' ne ADV _ _ 20 dep _ _ _ _ _ 20 était être VRB _ _ 15 dep _ _ _ _ _ 21 pas pas ADV _ _ 20 dep _ _ _ _ _ 22 digne digne ADJ _ _ 20 dep _ _ _ _ _ 23 de de PRE _ _ 22 dep _ _ _ _ _ 24 foi foi NOM _ _ 23 dep _ _ _ _ _ 25 , , PUNC _ _ 27 punc _ _ _ _ _ 26 c' ce CLS _ _ 27 subj _ _ _ _ _ 27 est être VRB _ _ 15 dep _ _ _ _ _ 28 ça cela PRQ _ _ 27 dep _ _ _ _ _ 29 ? ? PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-100 # text = sourire - Michel 421 18 novembre 2007 à 12 : 56 ( CET ) 1 sourire sourire NOM _ _ 0 root _ _ _ _ _ 2 - - PUNC _ _ 1 punc _ _ _ _ _ 3 Michel Michel NOM _ _ 0 root _ _ _ _ _ 4 421 421 NUM _ _ 6 spe _ _ _ _ _ 5 18 18 NUM _ _ 6 dep _ _ _ _ _ 6 novembre 18 novembre 2007 NOM _ _ 0 root _ _ _ _ _ 7 2007 2007 NUM _ _ 6 dep _ _ _ _ _ 8 à à PRE _ _ 6 dep _ _ _ _ _ 9 12 12 NUM _ _ 11 dep _ _ _ _ _ 10 : 12 : 56 PUNC _ _ 9 punc _ _ _ _ _ 11 56 56 NUM _ _ 8 dep _ _ _ _ _ 12 ( ( PUNC _ _ 13 punc _ _ _ _ _ 13 CET CET NOM _ _ 11 parenth _ _ _ _ _ 14 ) ) PUNC _ _ 13 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-101 # text = Si je récapitule , Bourbaki dit bien que dans un système duquel on peut déduire l'arithmétique il y a une proposition non démontrable , et sa négation est non-démontrable ; 1 Si si CSU _ _ 6 periph _ _ _ _ _ 2 je je CLS _ _ 3 subj _ _ _ _ _ 3 récapitule récapituler VRB _ _ 1 dep _ _ _ _ _ 4 , , PUNC _ _ 1 punc _ _ _ _ _ 5 Bourbaki Bourbaki NOM _ _ 6 subj _ _ _ _ _ 6 dit dire VRB _ _ 0 root _ _ _ _ _ 7 bien bien ADV _ _ 6 dep _ _ _ _ _ 8 que que ADV _ _ 6 dep _ _ _ _ _ 9 dans dans PRE _ _ 6 dep _ _ _ _ _ 10 un un DET _ _ 11 spe _ _ _ _ _ 11 système système NOM _ _ 9 dep _ _ _ _ _ 12 duquel de P+PRO _ _ 15 periph _ _ _ _ _ 13 on on CLS _ _ 14 subj _ _ _ _ _ 14 peut pouvoir VRB _ _ 11 dep _ _ _ _ _ 15 déduire déduire VNF _ _ 14 dep _ _ _ _ _ 16 l' le DET _ _ 17 spe _ _ _ _ _ 17 arithmétique arithmétique NOM _ _ 15 dep _ _ _ _ _ 18 il il y a PRE _ _ 20 dep _ _ _ _ _ 19 y il y a PRE _ _ 20 dep _ _ _ _ _ 20 a il y a PRE _ _ 15 dep _ _ _ _ _ 21 une un DET _ _ 22 spe _ _ _ _ _ 22 proposition proposition NOM _ _ 20 dep _ _ _ _ _ 23 non non ADV _ _ 24 dep _ _ _ _ _ 24 démontrable démontrable ADJ _ _ 22 dep _ _ _ _ _ 25 , , PUNC _ _ 29 punc _ _ _ _ _ 26 et et COO _ _ 29 mark _ _ _ _ _ 27 sa son DET _ _ 28 spe _ _ _ _ _ 28 négation négation NOM _ _ 29 subj _ _ _ _ _ 29 est être VRB _ _ 15 para _ _ _ _ _ 30 non-démontrable non- ADJ _ _ 29 dep _ _ _ _ _ 31 ; ; PUNC _ _ 6 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-102 # text = or pour Bourbaki l'une des deux doit être vraie - son système de calcul des propositions est celui de Hilbert-Ackermann duquel on déduit le tiers exclu . 1 or or COO _ _ 8 mark _ _ _ _ _ 2 pour pour PRE _ _ 8 periph _ _ _ _ _ 3 Bourbaki Bourbaki NOM _ _ 2 dep _ _ _ _ _ 4 l' le DET _ _ 5 spe _ _ _ _ _ 5 une une NOM _ _ 8 subj _ _ _ _ _ 6 des de PRE _ _ 5 dep _ _ _ _ _ 7 deux deux NUM _ _ 6 dep _ _ _ _ _ 8 doit devoir VRB _ _ 0 root _ _ _ _ _ 9 être être VNF _ _ 8 dep _ _ _ _ _ 10 vraie vrai ADJ _ _ 9 dep _ _ _ _ _ 11 - - PUNC _ _ 8 punc _ _ _ _ _ 12 son son DET _ _ 13 spe _ _ _ _ _ 13 système système NOM _ _ 18 subj _ _ _ _ _ 14 de de PRE _ _ 13 dep _ _ _ _ _ 15 calcul calcul NOM _ _ 14 dep _ _ _ _ _ 16 des de PRE _ _ 15 dep _ _ _ _ _ 17 propositions proposition NOM _ _ 16 dep _ _ _ _ _ 18 est être VRB _ _ 9 dep _ _ _ _ _ 19 celui celui PRQ _ _ 18 dep _ _ _ _ _ 20 de de PRE _ _ 19 dep _ _ _ _ _ 21 Hilbert-Ackermann Hilbert-Ackermann NOM _ _ 20 dep _ _ _ _ _ 22 duquel de P+PRO _ _ 24 dep _ _ _ _ _ 23 on on CLS _ _ 24 subj _ _ _ _ _ 24 déduit déduire VRB _ _ 21 dep _ _ _ _ _ 25 le le DET _ _ 26 spe _ _ _ _ _ 26 tiers tiers NOM _ _ 24 dep _ _ _ _ _ 27 exclu exclure ADJ _ _ 26 dep _ _ _ _ _ 28 . . PUNC _ _ 8 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-103 # text = Donc Bourbaki croit bien qu'il y a une proposition vraie non démontrable . 1 Donc donc COO _ _ 3 mark _ _ _ _ _ 2 Bourbaki Bourbaki NOM _ _ 3 subj _ _ _ _ _ 3 croit croire VRB _ _ 0 root _ _ _ _ _ 4 bien bien ADV _ _ 3 dep _ _ _ _ _ 5 qu' que CSU _ _ 3 dep _ _ _ _ _ 6 il il CLS _ _ 8 subj _ _ _ _ _ 7 y le CLI _ _ 8 dep _ _ _ _ _ 8 a avoir VRB _ _ 5 dep _ _ _ _ _ 9 une un DET _ _ 10 spe _ _ _ _ _ 10 proposition proposition NOM _ _ 8 dep _ _ _ _ _ 11 vraie vrai ADJ _ _ 10 dep _ _ _ _ _ 12 non non ADV _ _ 13 dep _ _ _ _ _ 13 démontrable démontrable ADJ _ _ 8 dep _ _ _ _ _ 14 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-104 # text = En quoi n'a t -il pas compris que c'était le résultat fort de Gödel ? 1 En En NOM _ _ 8 subj _ _ _ _ _ 2 quoi quoi PRQ _ _ 4 periph _ _ _ _ _ 3 n' ne ADV _ _ 4 dep _ _ _ _ _ 4 a avoir VRB _ _ 1 dep _ _ _ _ _ 5 t t ADV _ _ 4 dep _ _ _ _ _ 6 -il -il CLS _ _ 4 subj _ _ _ _ _ 7 pas pas ADV _ _ 4 dep _ _ _ _ _ 8 compris comprendre VRB _ _ 0 root _ _ _ _ _ 9 que que CSU _ _ 8 dep _ _ _ _ _ 10 c' ce CLS _ _ 11 subj _ _ _ _ _ 11 était être VRB _ _ 9 dep _ _ _ _ _ 12 le le DET _ _ 13 spe _ _ _ _ _ 13 résultat résultat NOM _ _ 11 dep _ _ _ _ _ 14 fort fort ADJ _ _ 13 dep _ _ _ _ _ 15 de de PRE _ _ 13 dep _ _ _ _ _ 16 Gödel Gödel NOM _ _ 15 dep _ _ _ _ _ 17 ? ? PUNC _ _ 8 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-105 # text = Là je ne comprends pas trop 1 Là là ADV _ _ 4 periph _ _ _ _ _ 2 je je CLS _ _ 4 subj _ _ _ _ _ 3 ne ne ADV _ _ 4 dep _ _ _ _ _ 4 comprends comprendre VRB _ _ 0 root _ _ _ _ _ 5 pas pas ADV _ _ 4 dep _ _ _ _ _ 6 trop trop ADV _ _ 4 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-106 # text = Ce qu'écrit Pierre sur Wiener et Bourbaki est très intéressant . 1 Ce ce PRQ _ _ 9 subj _ _ _ _ _ 2 qu' que PRQ _ _ 3 dep _ _ _ _ _ 3 écrit écrire VRB _ _ 1 dep _ _ _ _ _ 4 Pierre Pierre NOM _ _ 3 subj _ _ _ _ _ 5 sur sur PRE _ _ 4 dep _ _ _ _ _ 6 Wiener Wiener NOM _ _ 5 dep _ _ _ _ _ 7 et et COO _ _ 8 mark _ _ _ _ _ 8 Bourbaki Bourbaki NOM _ _ 6 para _ _ _ _ _ 9 est être VRB _ _ 0 root _ _ _ _ _ 10 très très ADV _ _ 11 dep _ _ _ _ _ 11 intéressant intéressant ADJ _ _ 9 dep _ _ _ _ _ 12 . . PUNC _ _ 9 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-107 # text = L'asymétrie dans le résultat du th . 1 L' le DET _ _ 2 spe _ _ _ _ _ 2 asymétrie asymétrie NOM _ _ 0 root _ _ _ _ _ 3 dans dans PRE _ _ 2 dep _ _ _ _ _ 4 le le DET _ _ 5 spe _ _ _ _ _ 5 résultat résultat NOM _ _ 3 dep _ _ _ _ _ 6 du de PRE _ _ 5 dep _ _ _ _ _ 7 th Thomas NOM _ _ 6 dep _ _ _ _ _ 8 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-108 # text = de Gödel est effectivement essentielle , et la formulation ( formule vraie non démontrable ) est très souvent la formulation moderne . 1 de de PRE _ _ 5 dep _ _ _ _ _ 2 Gödel Gödel NOM _ _ 1 dep _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 effectivement effectivement ADV _ _ 3 dep _ _ _ _ _ 5 essentielle essentiel ADJ _ _ 3 dep _ _ _ _ _ 6 , , PUNC _ _ 16 punc _ _ _ _ _ 7 et et COO _ _ 16 mark _ _ _ _ _ 8 la le DET _ _ 9 spe _ _ _ _ _ 9 formulation formulation NOM _ _ 16 subj _ _ _ _ _ 10 ( ( PUNC _ _ 11 punc _ _ _ _ _ 11 formule formule NOM _ _ 9 parenth _ _ _ _ _ 12 vraie vrai ADJ _ _ 11 dep _ _ _ _ _ 13 non non ADV _ _ 14 dep _ _ _ _ _ 14 démontrable démontrable ADJ _ _ 11 dep _ _ _ _ _ 15 ) ) PUNC _ _ 11 punc _ _ _ _ _ 16 est être VRB _ _ 5 para _ _ _ _ _ 17 très très ADV _ _ 18 dep _ _ _ _ _ 18 souvent souvent ADV _ _ 16 dep _ _ _ _ _ 19 la le DET _ _ 20 spe _ _ _ _ _ 20 formulation formulation NOM _ _ 16 dep _ _ _ _ _ 21 moderne moderne ADJ _ _ 20 dep _ _ _ _ _ 22 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-109 # text = Si on ne veut pas parler de " vrai " , on peut dire aussi , en plus lourdingue , que P est une formule universelle non démonrable dont chaque instance ( une pour chaque entier naturel " standard " ) est démontrable dans la théorie de départ T . 1 Si si CSU _ _ 13 periph _ _ _ _ _ 2 on on CLS _ _ 4 subj _ _ _ _ _ 3 ne ne ADV _ _ 4 dep _ _ _ _ _ 4 veut vouloir VRB _ _ 1 dep _ _ _ _ _ 5 pas pas ADV _ _ 4 dep _ _ _ _ _ 6 parler parler VNF _ _ 4 dep _ _ _ _ _ 7 de de PRE _ _ 6 dep _ _ _ _ _ 8 " " PUNC _ _ 9 punc _ _ _ _ _ 9 vrai vrai NOM _ _ 7 dep _ _ _ _ _ 10 " " PUNC _ _ 9 punc _ _ _ _ _ 11 , , PUNC _ _ 1 punc _ _ _ _ _ 12 on on CLS _ _ 13 subj _ _ _ _ _ 13 peut pouvoir VRB _ _ 0 root _ _ _ _ _ 14 dire dire VNF _ _ 13 dep _ _ _ _ _ 15 aussi aussi ADV _ _ 14 dep _ _ _ _ _ 16 , , PUNC _ _ 21 punc _ _ _ _ _ 17 en en plus PRE _ _ 19 dep _ _ _ _ _ 18 plus en plus NOM _ _ 17 dep _ _ _ _ _ 19 lourdingue loufoque ADJ _ _ 14 dep _ _ _ _ _ 20 , , PUNC _ _ 21 punc _ _ _ _ _ 21 que que CSU _ _ 13 dep _ _ _ _ _ 22 P P NOM _ _ 23 subj _ _ _ _ _ 23 est être VRB _ _ 21 dep _ _ _ _ _ 24 une un DET _ _ 25 spe _ _ _ _ _ 25 formule formule NOM _ _ 23 dep _ _ _ _ _ 26 universelle universel ADJ _ _ 25 dep _ _ _ _ _ 27 non non ADV _ _ 28 dep _ _ _ _ _ 28 démonrable démonrable ADJ _ _ 25 dep _ _ _ _ _ 29 dont dont PRQ _ _ 49 dep _ _ _ _ _ 30 chaque chaque DET _ _ 31 spe _ _ _ _ _ 31 instance instance NOM _ _ 42 subj _ _ _ _ _ 32 ( ( PUNC _ _ 34 punc _ _ _ _ _ 33 une un DET _ _ 34 spe _ _ _ _ _ 34 pour pour NOM _ _ 31 parenth _ _ _ _ _ 35 chaque chaque ADJ _ _ 34 dep _ _ _ _ _ 36 entier entier ADJ _ _ 35 dep _ _ _ _ _ 37 naturel naturel ADJ _ _ 36 dep _ _ _ _ _ 38 " " PUNC _ _ 39 punc _ _ _ _ _ 39 standard standard ADJ _ _ 37 dep _ _ _ _ _ 40 " " PUNC _ _ 31 punc _ _ _ _ _ 41 ) ) PUNC _ _ 34 punc _ _ _ _ _ 42 est être VRB _ _ 25 dep _ _ _ _ _ 43 démontrable démontrable ADJ _ _ 42 dep _ _ _ _ _ 44 dans dans PRE _ _ 42 dep _ _ _ _ _ 45 la le DET _ _ 46 spe _ _ _ _ _ 46 théorie théorie NOM _ _ 44 dep _ _ _ _ _ 47 de de PRE _ _ 46 dep _ _ _ _ _ 48 départ départ NOM _ _ 47 dep _ _ _ _ _ 49 T T ADJ _ _ 42 dep _ _ _ _ _ 50 . . PUNC _ _ 13 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-110 # text = Cet aspect échappe effectivement a beaucoup de gens qui n'y voient qu'un résultat d'incomplétude ( une formule indécidable ) et s'empressent de comparer celui -ci à l'indécidabilité de l'axiome du choix ou de l'hypothèse du continu . 1 Cet ce DET _ _ 2 spe _ _ _ _ _ 2 aspect aspect NOM _ _ 3 subj _ _ _ _ _ 3 échappe échapper VRB _ _ 0 root _ _ _ _ _ 4 effectivement effectivement ADV _ _ 3 dep _ _ _ _ _ 5 a avoir VRB _ _ 0 root _ _ _ _ _ 6 beaucoup beaucoup ADV _ _ 8 periph _ _ _ _ _ 7 de de PRE _ _ 0 root _ _ _ _ _ 8 gens gens NOM _ _ 7 dep _ _ _ _ _ 9 qui qui PRQ _ _ 12 subj _ _ _ _ _ 10 n' ne ADV _ _ 12 dep _ _ _ _ _ 11 y le CLI _ _ 12 dep _ _ _ _ _ 12 voient voir VRB _ _ 8 dep _ _ _ _ _ 13 qu' que ADV _ _ 12 dep _ _ _ _ _ 14 un un DET _ _ 15 spe _ _ _ _ _ 15 résultat résultat NOM _ _ 12 dep _ _ _ _ _ 16 d' de PRE _ _ 15 dep _ _ _ _ _ 17 incomplétude incomplétude NOM _ _ 16 dep _ _ _ _ _ 18 ( ( PUNC _ _ 20 punc _ _ _ _ _ 19 une un DET _ _ 20 spe _ _ _ _ _ 20 formule formule NOM _ _ 15 parenth _ _ _ _ _ 21 indécidable indécidable ADJ _ _ 20 dep _ _ _ _ _ 22 ) ) PUNC _ _ 20 punc _ _ _ _ _ 23 et et COO _ _ 25 mark _ _ _ _ _ 24 s' s' CLI _ _ 25 dep _ _ _ _ _ 25 empressent empresser VRB _ _ 12 para _ _ _ _ _ 26 de de PRE _ _ 25 dep _ _ _ _ _ 27 comparer comparer VNF _ _ 26 dep _ _ _ _ _ 28 celui celui PRQ _ _ 25 subj _ _ _ _ _ 29 -ci -ci ADJ _ _ 28 dep _ _ _ _ _ 30 à à PRE _ _ 28 dep _ _ _ _ _ 31 l' le DET _ _ 32 spe _ _ _ _ _ 32 indécidabilité indécidabilité NOM _ _ 30 dep _ _ _ _ _ 33 de de PRE _ _ 32 dep _ _ _ _ _ 34 l' le DET _ _ 35 spe _ _ _ _ _ 35 axiome axiome NOM _ _ 33 dep _ _ _ _ _ 36 du de PRE _ _ 35 dep _ _ _ _ _ 37 choix choix NOM _ _ 36 dep _ _ _ _ _ 38 ou ou COO _ _ 39 mark _ _ _ _ _ 39 de de PRE _ _ 36 para _ _ _ _ _ 40 l' le DET _ _ 41 spe _ _ _ _ _ 41 hypothèse hypothèse NOM _ _ 39 dep _ _ _ _ _ 42 du de PRE _ _ 41 dep _ _ _ _ _ 43 continu continu ADJ _ _ 42 dep _ _ _ _ _ 44 . . PUNC _ _ 7 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-111 # text = Je suis quand même étonné que Bourbaki ait pu ignorer ( au sens fort , ne pas s'être rendu compte que ) que le th . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 suis suivre VRB _ _ 0 root _ _ _ _ _ 3 quand quand même ADV _ _ 4 dep _ _ _ _ _ 4 même quand même ADV _ _ 2 dep _ _ _ _ _ 5 étonné étonné ADJ _ _ 2 dep _ _ _ _ _ 6 que que CSU _ _ 5 dep _ _ _ _ _ 7 Bourbaki Bourbaki NOM _ _ 9 subj _ _ _ _ _ 8 ait avoir VRB _ _ 9 aux _ _ _ _ _ 9 pu pouvoir VPP _ _ 6 dep _ _ _ _ _ 10 ignorer ignorer VNF _ _ 9 dep _ _ _ _ _ 11 ( ( PUNC _ _ 10 punc _ _ _ _ _ 12 au à PRE _ _ 21 periph _ _ _ _ _ 13 sens sens NOM _ _ 12 dep _ _ _ _ _ 14 fort fort ADJ _ _ 13 dep _ _ _ _ _ 15 , , PUNC _ _ 12 punc _ _ _ _ _ 16 ne ne ADV _ _ 20 dep _ _ _ _ _ 17 pas pas ADV _ _ 20 dep _ _ _ _ _ 18 s' s' CLI _ _ 20 dep _ _ _ _ _ 19 être être VNF _ _ 20 aux _ _ _ _ _ 20 rendu rendre VPP _ _ 21 subj _ _ _ _ _ 21 compte compter VRB _ _ 0 root _ _ _ _ _ 22 que que CSU _ _ 0 root _ _ _ _ _ 23 ) ) PUNC _ _ 22 punc _ _ _ _ _ 24 que que CSU _ _ 0 root _ _ _ _ _ 25 le le DET _ _ 26 spe _ _ _ _ _ 26 th Théophile NOM _ _ 0 root _ _ _ _ _ 27 . . PUNC _ _ 26 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-112 # text = de Gödel ne s'applique pas à la théorie des ensembles . 1 de de PRE _ _ 5 periph _ _ _ _ _ 2 Gödel Gödel NOM _ _ 1 dep _ _ _ _ _ 3 ne ne ADV _ _ 5 dep _ _ _ _ _ 4 s' s' CLI _ _ 5 dep _ _ _ _ _ 5 applique appliquer VRB _ _ 0 root _ _ _ _ _ 6 pas pas ADV _ _ 5 dep _ _ _ _ _ 7 à à PRE _ _ 5 dep _ _ _ _ _ 8 la le DET _ _ 9 spe _ _ _ _ _ 9 théorie théorie NOM _ _ 7 dep _ _ _ _ _ 10 des un DET _ _ 11 spe _ _ _ _ _ 11 ensembles ensemble NOM _ _ 5 subj _ _ _ _ _ 12 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-113 # text = L'arithmétique formalisée signifie -t-elle pour eux 1er ordre nécessairement ? 1 L' le DET _ _ 2 spe _ _ _ _ _ 2 arithmétique arithmétique NOM _ _ 4 subj _ _ _ _ _ 3 formalisée formaliser ADJ _ _ 2 dep _ _ _ _ _ 4 signifie signifier VRB _ _ 0 root _ _ _ _ _ 5 -t-elle -t-elle CLS _ _ 4 subj _ _ _ _ _ 6 pour pour PRE _ _ 4 dep _ _ _ _ _ 7 eux lui PRQ _ _ 6 dep _ _ _ _ _ 8 1er 1er NUM _ _ 9 spe _ _ _ _ _ 9 ordre ordre NOM _ _ 4 dep _ _ _ _ _ 10 nécessairement nécessairement ADV _ _ 4 dep _ _ _ _ _ 11 ? ? PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-114 # text = Le titre de l'article de Gödel parle des principia mathematica ( la théorie des types , plus forte que l'arithmétique ) . 1 Le le DET _ _ 2 spe _ _ _ _ _ 2 titre titre NOM _ _ 8 subj _ _ _ _ _ 3 de de PRE _ _ 2 dep _ _ _ _ _ 4 l' le DET _ _ 5 spe _ _ _ _ _ 5 article article NOM _ _ 3 dep _ _ _ _ _ 6 de de PRE _ _ 5 dep _ _ _ _ _ 7 Gödel Gödel NOM _ _ 6 dep _ _ _ _ _ 8 parle parler VRB _ _ 0 root _ _ _ _ _ 9 des de PRE _ _ 8 dep _ _ _ _ _ 10 principia principat NOM _ _ 9 dep _ _ _ _ _ 11 mathematica mathématiser VRB _ _ 0 root _ _ _ _ _ 12 ( ( PUNC _ _ 11 punc _ _ _ _ _ 13 la le DET _ _ 14 spe _ _ _ _ _ 14 théorie théorie NOM _ _ 0 root _ _ _ _ _ 15 des de PRE _ _ 14 dep _ _ _ _ _ 16 types type NOM _ _ 15 dep _ _ _ _ _ 17 , , PUNC _ _ 19 punc _ _ _ _ _ 18 plus plus ADV _ _ 19 dep _ _ _ _ _ 19 forte fort ADJ _ _ 16 dep _ _ _ _ _ 20 que que CSU _ _ 19 dep _ _ _ _ _ 21 l' le DET _ _ 22 spe _ _ _ _ _ 22 arithmétique arithmétique NOM _ _ 20 dep _ _ _ _ _ 23 ) ) PUNC _ _ 22 punc _ _ _ _ _ 24 . . PUNC _ _ 14 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-115 # text = Je crois aussi que la date à prendre en référence est celle de première publication . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 crois croire VRB _ _ 0 root _ _ _ _ _ 3 aussi aussi ADV _ _ 2 dep _ _ _ _ _ 4 que que CSU _ _ 2 dep _ _ _ _ _ 5 la le DET _ _ 6 spe _ _ _ _ _ 6 date date NOM _ _ 11 subj _ _ _ _ _ 7 à à PRE _ _ 6 dep _ _ _ _ _ 8 prendre prendre VNF _ _ 7 dep _ _ _ _ _ 9 en en PRE _ _ 8 dep _ _ _ _ _ 10 référence référence NOM _ _ 9 dep _ _ _ _ _ 11 est être VRB _ _ 4 dep _ _ _ _ _ 12 celle celui PRQ _ _ 11 dep _ _ _ _ _ 13 de de PRE _ _ 12 dep _ _ _ _ _ 14 première premier ADJ _ _ 15 dep _ _ _ _ _ 15 publication publication NOM _ _ 13 dep _ _ _ _ _ 16 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-116 # text = Je lirais volontiers le texte de Bourbaki ( mais je peux aussi facilement me le procurer ) , mais je n'ai malheureusement pas trop de temps actuellement . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 lirais lire VRB _ _ 0 root _ _ _ _ _ 3 volontiers volontiers ADV _ _ 2 dep _ _ _ _ _ 4 le le DET _ _ 5 spe _ _ _ _ _ 5 texte texte NOM _ _ 2 dep _ _ _ _ _ 6 de de PRE _ _ 5 dep _ _ _ _ _ 7 Bourbaki Bourbaki NOM _ _ 6 dep _ _ _ _ _ 8 ( ( PUNC _ _ 2 punc _ _ _ _ _ 9 mais mais COO _ _ 11 mark _ _ _ _ _ 10 je je CLS _ _ 11 subj _ _ _ _ _ 11 peux pouvoir VRB _ _ 2 para _ _ _ _ _ 12 aussi aussi ADV _ _ 11 dep _ _ _ _ _ 13 facilement facilement ADV _ _ 11 dep _ _ _ _ _ 14 me le CLI _ _ 16 dep _ _ _ _ _ 15 le le CLI _ _ 16 dep _ _ _ _ _ 16 procurer procurer VNF _ _ 11 dep _ _ _ _ _ 17 ) ) PUNC _ _ 2 punc _ _ _ _ _ 18 , , PUNC _ _ 22 punc _ _ _ _ _ 19 mais mais COO _ _ 22 mark _ _ _ _ _ 20 je je CLS _ _ 22 subj _ _ _ _ _ 21 n' ne ADV _ _ 22 dep _ _ _ _ _ 22 ai avoir VRB _ _ 11 para _ _ _ _ _ 23 malheureusement malheureusement ADV _ _ 22 dep _ _ _ _ _ 24 pas pas ADV _ _ 22 dep _ _ _ _ _ 25 trop trop ADV _ _ 27 dep _ _ _ _ _ 26 de de PRE _ _ 22 dep _ _ _ _ _ 27 temps temps NOM _ _ 26 dep _ _ _ _ _ 28 actuellement actuellement ADV _ _ 22 dep _ _ _ _ _ 29 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-117 # text = J'ai Bourbaki et je confirme : 1 J' j' CLS _ _ 2 subj _ _ _ _ _ 2 ai avoir VRB _ _ 0 root _ _ _ _ _ 3 Bourbaki Bourbaki NOM _ _ 2 dep _ _ _ _ _ 4 et et COO _ _ 6 mark _ _ _ _ _ 5 je je CLS _ _ 6 subj _ _ _ _ _ 6 confirme confirmer VRB _ _ 2 para _ _ _ _ _ 7 : : PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-118 # text = ce qu'ils appellent " langage formalisé " est bien un langage du 1er ordre 1 ce ce PRQ _ _ 9 subj _ _ _ _ _ 2 qu' que PRQ _ _ 4 dep _ _ _ _ _ 3 ils ils CLS _ _ 4 subj _ _ _ _ _ 4 appellent appeler VRB _ _ 1 dep _ _ _ _ _ 5 " " PUNC _ _ 6 punc _ _ _ _ _ 6 langage langage NOM _ _ 4 dep _ _ _ _ _ 7 formalisé formaliser ADJ _ _ 6 dep _ _ _ _ _ 8 " " PUNC _ _ 6 punc _ _ _ _ _ 9 est être VRB _ _ 0 root _ _ _ _ _ 10 bien bien ADV _ _ 9 dep _ _ _ _ _ 11 un un DET _ _ 12 spe _ _ _ _ _ 12 langage langage NOM _ _ 9 dep _ _ _ _ _ 13 du de PRE _ _ 12 dep _ _ _ _ _ 14 1er 1er NUM _ _ 15 dep _ _ _ _ _ 15 ordre ordre NOM _ _ 13 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-119 # text = Je vous donne la citation de Wiener ( p. 193 de son autobiographie Ex-prodigy ) . 1 Je je CLS _ _ 3 subj _ _ _ _ _ 2 vous le CLI _ _ 3 dep _ _ _ _ _ 3 donne donner VRB _ _ 0 root _ _ _ _ _ 4 la le DET _ _ 5 spe _ _ _ _ _ 5 citation citation NOM _ _ 3 dep _ _ _ _ _ 6 de de PRE _ _ 5 dep _ _ _ _ _ 7 Wiener Wiener NOM _ _ 6 dep _ _ _ _ _ 8 ( ( PUNC _ _ 9 punc _ _ _ _ _ 9 p. page NOM _ _ 7 parenth _ _ _ _ _ 10 193 193 NUM _ _ 9 dep _ _ _ _ _ 11 de de PRE _ _ 9 dep _ _ _ _ _ 12 son son DET _ _ 13 spe _ _ _ _ _ 13 autobiographie autobiographie NOM _ _ 11 dep _ _ _ _ _ 14 Ex-prodigy Ex-prodigy NOM _ _ 13 dep _ _ _ _ _ 15 ) ) PUNC _ _ 9 punc _ _ _ _ _ 16 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-120 # text = Après avoir expliqué qu'il avait écrit , en 1913 quand il était à Cambridge , un article qui concluait contre le point de vue de Russell que les systèmes logiques doivent par essence être incomplets , il écrit : 1 Après après PRE _ _ 9 periph _ _ _ _ _ 2 avoir avoir VNF _ _ 3 aux _ _ _ _ _ 3 expliqué expliquer VPP _ _ 1 dep _ _ _ _ _ 4 qu' que CSU _ _ 3 dep _ _ _ _ _ 5 il il CLS _ _ 7 subj _ _ _ _ _ 6 avait avoir VRB _ _ 7 aux _ _ _ _ _ 7 écrit écrire VPP _ _ 4 dep _ _ _ _ _ 8 , , PUNC _ _ 1 punc _ _ _ _ _ 9 en en PRE _ _ 0 root _ _ _ _ _ 10 1913 1913 NUM _ _ 9 dep _ _ _ _ _ 11 quand quand CSU _ _ 9 dep _ _ _ _ _ 12 il il CLS _ _ 13 subj _ _ _ _ _ 13 était être VRB _ _ 11 dep _ _ _ _ _ 14 à à PRE _ _ 13 dep _ _ _ _ _ 15 Cambridge Cambridge NOM _ _ 14 dep _ _ _ _ _ 16 , , PUNC _ _ 18 punc _ _ _ _ _ 17 un un DET _ _ 18 spe _ _ _ _ _ 18 article article NOM _ _ 15 dep _ _ _ _ _ 19 qui qui PRQ _ _ 20 subj _ _ _ _ _ 20 concluait conclure VRB _ _ 18 dep _ _ _ _ _ 21 contre contre PRE _ _ 20 dep _ _ _ _ _ 22 le le DET _ _ 23 spe _ _ _ _ _ 23 point point NOM _ _ 21 dep _ _ _ _ _ 24 de de PRE _ _ 23 dep _ _ _ _ _ 25 vue vue NOM _ _ 24 dep _ _ _ _ _ 26 de de PRE _ _ 23 dep _ _ _ _ _ 27 Russell Russell NOM _ _ 26 dep _ _ _ _ _ 28 que que CSU _ _ 20 dep _ _ _ _ _ 29 les le DET _ _ 30 spe _ _ _ _ _ 30 systèmes système NOM _ _ 32 subj _ _ _ _ _ 31 logiques logique ADJ _ _ 30 dep _ _ _ _ _ 32 doivent devoir VRB _ _ 28 dep _ _ _ _ _ 33 par par PRE _ _ 32 dep _ _ _ _ _ 34 essence essence NOM _ _ 33 dep _ _ _ _ _ 35 être être VNF _ _ 32 dep _ _ _ _ _ 36 incomplets incomplet ADJ _ _ 35 dep _ _ _ _ _ 37 , , PUNC _ _ 39 punc _ _ _ _ _ 38 il il CLS _ _ 39 subj _ _ _ _ _ 39 écrit écrire VRB _ _ 32 dep _ _ _ _ _ 40 : : PUNC _ _ 9 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-121 # text = * Mon hérésie de cette époque a été confirmée par le travail postérieur de Gödel qui a montré que dans n'importe quel système logique il y a des questions qui ne peuvent pas recevoir de réponse positive à partir des postulats . 1 * - PUNC _ _ 9 punc _ _ _ _ _ 2 Mon Mon DET _ _ 3 spe _ _ _ _ _ 3 hérésie hérésie NOM _ _ 9 subj _ _ _ _ _ 4 de de PRE _ _ 3 dep _ _ _ _ _ 5 cette ce DET _ _ 6 spe _ _ _ _ _ 6 époque époque NOM _ _ 4 dep _ _ _ _ _ 7 a avoir VRB _ _ 8 aux _ _ _ _ _ 8 été être VPP _ _ 9 aux _ _ _ _ _ 9 confirmée confirmer VPP _ _ 0 root _ _ _ _ _ 10 par par PRE _ _ 9 dep _ _ _ _ _ 11 le le DET _ _ 12 spe _ _ _ _ _ 12 travail travail NOM _ _ 10 dep _ _ _ _ _ 13 postérieur postérieur ADJ _ _ 12 dep _ _ _ _ _ 14 de de PRE _ _ 12 dep _ _ _ _ _ 15 Gödel Gödel NOM _ _ 14 dep _ _ _ _ _ 16 qui qui PRQ _ _ 18 subj _ _ _ _ _ 17 a avoir VRB _ _ 18 aux _ _ _ _ _ 18 montré montrer VPP _ _ 15 dep _ _ _ _ _ 19 que que CSU _ _ 18 dep _ _ _ _ _ 20 dans dans PRE _ _ 28 periph _ _ _ _ _ 21 n' n'importe quel DET _ _ 23 dep _ _ _ _ _ 22 importe n'importe quel DET _ _ 23 dep _ _ _ _ _ 23 quel n'importe quel DET _ _ 24 spe _ _ _ _ _ 24 système système NOM _ _ 20 dep _ _ _ _ _ 25 logique logique ADJ _ _ 24 dep _ _ _ _ _ 26 il il CLS _ _ 28 subj _ _ _ _ _ 27 y le CLI _ _ 28 dep _ _ _ _ _ 28 a avoir VRB _ _ 19 dep _ _ _ _ _ 29 des un DET _ _ 30 spe _ _ _ _ _ 30 questions question NOM _ _ 28 dep _ _ _ _ _ 31 qui qui PRQ _ _ 33 subj _ _ _ _ _ 32 ne ne ADV _ _ 33 dep _ _ _ _ _ 33 peuvent pouvoir VRB _ _ 30 dep _ _ _ _ _ 34 pas pas ADV _ _ 33 dep _ _ _ _ _ 35 recevoir recevoir VNF _ _ 33 dep _ _ _ _ _ 36 de un DET _ _ 38 spe _ _ _ _ _ 37 réponse réponse NOM _ _ 36 dep _ _ _ _ _ 38 positive positive ADJ _ _ 35 dep _ _ _ _ _ 39 à à partir de PRE _ _ 35 dep _ _ _ _ _ 40 partir à partir de DET _ _ 39 dep _ _ _ _ _ 41 des à partir de PRE _ _ 40 dep _ _ _ _ _ 42 postulats postulat NOM _ _ 41 dep _ _ _ _ _ 43 . . PUNC _ _ 9 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-122 # text = C'est-à-dire que si une réponse est cohérente vis-à-vis des postulats , la réponse opposée est également cohérente vis-à-vis d'eux . 1 C' c'est-à-dire ADV _ _ 2 dep _ _ _ _ _ 2 est-à-dire c'est-à-dire ADV _ _ 0 root _ _ _ _ _ 3 que que CSU _ _ 2 dep _ _ _ _ _ 4 si si CSU _ _ 16 periph _ _ _ _ _ 5 une un DET _ _ 6 spe _ _ _ _ _ 6 réponse réponse NOM _ _ 7 subj _ _ _ _ _ 7 est être VRB _ _ 4 dep _ _ _ _ _ 8 cohérente cohérent ADJ _ _ 7 dep _ _ _ _ _ 9 vis-à-vis vis-à-vis de PRE _ _ 7 dep _ _ _ _ _ 10 des vis-à-vis de PRE _ _ 9 dep _ _ _ _ _ 11 postulats postulat NOM _ _ 10 dep _ _ _ _ _ 12 , , PUNC _ _ 4 punc _ _ _ _ _ 13 la le DET _ _ 14 spe _ _ _ _ _ 14 réponse réponse NOM _ _ 16 subj _ _ _ _ _ 15 opposée opposer ADJ _ _ 14 dep _ _ _ _ _ 16 est être VRB _ _ 3 dep _ _ _ _ _ 17 également également ADV _ _ 16 dep _ _ _ _ _ 18 cohérente cohérent ADJ _ _ 16 dep _ _ _ _ _ 19 vis-à-vis vis-à-vis de PRE _ _ 16 dep _ _ _ _ _ 20 d' vis-à-vis de PRE _ _ 19 dep _ _ _ _ _ 21 eux lui PRQ _ _ 20 dep _ _ _ _ _ 22 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-123 # text = N'importe quel système logique il a bien écrit ça ? ? 1 N' ne ADV _ _ 2 dep _ _ _ _ _ 2 importe importer VRB _ _ 0 root _ _ _ _ _ 3 quel quel DET _ _ 4 spe _ _ _ _ _ 4 système système NOM _ _ 9 dep _ _ _ _ _ 5 logique logique ADJ _ _ 4 dep _ _ _ _ _ 6 il il CLS _ _ 9 subj _ _ _ _ _ 7 a avoir VRB _ _ 9 aux _ _ _ _ _ 8 bien bien ADV _ _ 9 dep _ _ _ _ _ 9 écrit écrire VPP _ _ 0 root _ _ _ _ _ 10 ça cela PRQ _ _ 9 dep _ _ _ _ _ 11 ? ? PUNC _ _ 9 punc _ _ _ _ _ 12 ? ? PUNC _ _ 9 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-124 # text = Quand Wiener a fait son autobiographie , Gödel n'avait pas produit que des théorèmes d'incomplétude , aussi des théorèmes de complétude . 1 Quand quand CSU _ _ 12 periph _ _ _ _ _ 2 Wiener Wiener NOM _ _ 4 subj _ _ _ _ _ 3 a avoir VRB _ _ 4 aux _ _ _ _ _ 4 fait faire VPP _ _ 1 dep _ _ _ _ _ 5 son son DET _ _ 6 spe _ _ _ _ _ 6 autobiographie autobiographie NOM _ _ 4 dep _ _ _ _ _ 7 , , PUNC _ _ 1 punc _ _ _ _ _ 8 Gödel Gödel NOM _ _ 12 subj _ _ _ _ _ 9 n' ne ADV _ _ 12 dep _ _ _ _ _ 10 avait avoir VRB _ _ 12 aux _ _ _ _ _ 11 pas pas ADV _ _ 12 dep _ _ _ _ _ 12 produit produire VPP _ _ 0 root _ _ _ _ _ 13 que que ADV _ _ 12 dep _ _ _ _ _ 14 des un DET _ _ 15 spe _ _ _ _ _ 15 théorèmes théorème NOM _ _ 12 dep _ _ _ _ _ 16 d' de PRE _ _ 15 dep _ _ _ _ _ 17 incomplétude incomplétude NOM _ _ 16 dep _ _ _ _ _ 18 , , PUNC _ _ 20 punc _ _ _ _ _ 19 aussi aussi ADV _ _ 20 dep _ _ _ _ _ 20 des de PRE _ _ 15 dep _ _ _ _ _ 21 théorèmes théorème NOM _ _ 20 dep _ _ _ _ _ 22 de de PRE _ _ 21 dep _ _ _ _ _ 23 complétude complétude NOM _ _ 22 dep _ _ _ _ _ 24 . . PUNC _ _ 12 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-125 # text = Je ne suis pas certain de la justesse de la traduction , en anglais il écrit : 1 Je je CLS _ _ 3 subj _ _ _ _ _ 2 ne ne ADV _ _ 3 dep _ _ _ _ _ 3 suis être VRB _ _ 0 root _ _ _ _ _ 4 pas pas ADV _ _ 3 dep _ _ _ _ _ 5 certain certain ADJ _ _ 3 dep _ _ _ _ _ 6 de de PRE _ _ 5 dep _ _ _ _ _ 7 la le DET _ _ 8 spe _ _ _ _ _ 8 justesse justesse NOM _ _ 6 dep _ _ _ _ _ 9 de de PRE _ _ 8 dep _ _ _ _ _ 10 la le DET _ _ 11 spe _ _ _ _ _ 11 traduction traduction NOM _ _ 9 dep _ _ _ _ _ 12 , , PUNC _ _ 16 punc _ _ _ _ _ 13 en en PRE _ _ 11 dep _ _ _ _ _ 14 anglais anglais NOM _ _ 13 dep _ _ _ _ _ 15 il il CLS _ _ 16 subj _ _ _ _ _ 16 écrit écrire VRB _ _ 0 root _ _ _ _ _ 17 : : PUNC _ _ 16 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-126 # text = « within any system of logical postulates » . 1 « « PUNC _ _ 6 punc _ _ _ _ _ 2 within within any system of logical postulates NOM _ _ 7 periph _ _ _ _ _ 3 any within any system of logical postulates NOM _ _ 7 periph _ _ _ _ _ 4 system within any system of logical postulates NOM _ _ 7 periph _ _ _ _ _ 5 of within any system of logical postulates NOM _ _ 7 periph _ _ _ _ _ 6 logical within any system of logical postulates NOM _ _ 7 dep _ _ _ _ _ 7 postulates within any system of logical postulates NOM _ _ 0 root _ _ _ _ _ 8 » » PUNC _ _ 6 punc _ _ _ _ _ 9 . . PUNC _ _ 7 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-127 # text = Critique de l'article 1 Critique Critique NOM _ _ 0 root _ _ _ _ _ 2 de de PRE _ _ 1 dep _ _ _ _ _ 3 l' le DET _ _ 4 spe _ _ _ _ _ 4 article article NOM _ _ 2 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-128 # text = J'ai l'impression que l'article est écrit dans une perspective " histoire des fondements de maths " , voire " histoire des maths " , et pas histoire de la logique ( par ex. je ne crois pas qu'Euclide parle vraiment de logique encore moins qu'il l'ait formalisée , les mégariens et les stoïciens méritent mieux ... ) . 1 J' j' CLS _ _ 2 subj _ _ _ _ _ 2 ai avoir VRB _ _ 0 root _ _ _ _ _ 3 l' le DET _ _ 4 spe _ _ _ _ _ 4 impression impression NOM _ _ 2 dep _ _ _ _ _ 5 que que CSU _ _ 4 dep _ _ _ _ _ 6 l' le DET _ _ 7 spe _ _ _ _ _ 7 article article NOM _ _ 9 subj _ _ _ _ _ 8 est être VRB _ _ 9 aux _ _ _ _ _ 9 écrit écrire VPP _ _ 5 dep _ _ _ _ _ 10 dans dans PRE _ _ 9 dep _ _ _ _ _ 11 une un DET _ _ 12 spe _ _ _ _ _ 12 perspective perspective NOM _ _ 10 dep _ _ _ _ _ 13 " " PUNC _ _ 12 punc _ _ _ _ _ 14 histoire histoire NOM _ _ 12 dep _ _ _ _ _ 15 des de PRE _ _ 14 dep _ _ _ _ _ 16 fondements fondement NOM _ _ 15 dep _ _ _ _ _ 17 de de PRE _ _ 16 dep _ _ _ _ _ 18 maths maths NOM _ _ 17 dep _ _ _ _ _ 19 " " PUNC _ _ 18 punc _ _ _ _ _ 20 , , PUNC _ _ 30 punc _ _ _ _ _ 21 voire voire COO _ _ 23 mark _ _ _ _ _ 22 " " PUNC _ _ 23 punc _ _ _ _ _ 23 histoire histoire NOM _ _ 18 para _ _ _ _ _ 24 des de PRE _ _ 23 dep _ _ _ _ _ 25 maths maths NOM _ _ 24 dep _ _ _ _ _ 26 " " PUNC _ _ 12 punc _ _ _ _ _ 27 , , PUNC _ _ 30 punc _ _ _ _ _ 28 et et COO _ _ 30 mark _ _ _ _ _ 29 pas pas ADV _ _ 28 dep _ _ _ _ _ 30 histoire histoire NOM _ _ 12 para _ _ _ _ _ 31 de de PRE _ _ 30 dep _ _ _ _ _ 32 la le DET _ _ 33 spe _ _ _ _ _ 33 logique logique NOM _ _ 31 dep _ _ _ _ _ 34 ( ( PUNC _ _ 49 punc _ _ _ _ _ 35 par par PRE _ _ 0 root _ _ _ _ _ 36 ex. exemple NOM _ _ 35 dep _ _ _ _ _ 37 je je CLS _ _ 39 subj _ _ _ _ _ 38 ne ne ADV _ _ 39 parenth _ _ _ _ _ 39 crois croire VRB _ _ 0 root _ _ _ _ _ 40 pas pas NOM _ _ 39 dep _ _ _ _ _ 41 qu' que PRQ _ _ 43 dep _ _ _ _ _ 42 Euclide Euclide NOM _ _ 43 subj _ _ _ _ _ 43 parle parler VRB _ _ 40 dep _ _ _ _ _ 44 vraiment vraiment ADV _ _ 43 dep _ _ _ _ _ 45 de un DET _ _ 46 spe _ _ _ _ _ 46 logique logique NOM _ _ 40 dep _ _ _ _ _ 47 encore encore ADV _ _ 48 dep _ _ _ _ _ 48 moins moins ADV _ _ 47 para _ _ _ _ _ 49 qu' que CSU _ _ 48 para _ _ _ _ _ 50 il il CLS _ _ 53 subj _ _ _ _ _ 51 l' le CLI _ _ 53 dep _ _ _ _ _ 52 ait avoir VRB _ _ 53 aux _ _ _ _ _ 53 formalisée formaliser VPP _ _ 49 dep _ _ _ _ _ 54 , , PUNC _ _ 60 punc _ _ _ _ _ 55 les le DET _ _ 56 spe _ _ _ _ _ 56 mégariens méga- NOM _ _ 60 subj _ _ _ _ _ 57 et et COO _ _ 59 mark _ _ _ _ _ 58 les le DET _ _ 59 spe _ _ _ _ _ 59 stoïciens stoïcien NOM _ _ 56 para _ _ _ _ _ 60 méritent mériter VRB _ _ 49 dep _ _ _ _ _ 61 mieux mieux ADV _ _ 60 dep _ _ _ _ _ 62 ... ... PUNC _ _ 39 punc _ _ _ _ _ 63 ) ) PUNC _ _ 49 punc _ _ _ _ _ 64 . . PUNC _ _ 39 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-129 # text = Il ya des choses sensées ( le calcul infinitésimal ... ) mais dites curieusement , on a l'impression que c'est pour placer le mot logique . 1 Il il PUNC _ _ 17 punc _ _ _ _ _ 2 ya il y a PRE _ _ 17 periph _ _ _ _ _ 3 des un DET _ _ 4 spe _ _ _ _ _ 4 choses chose NOM _ _ 2 dep _ _ _ _ _ 5 sensées sensé ADJ _ _ 4 dep _ _ _ _ _ 6 ( ( PUNC _ _ 8 punc _ _ _ _ _ 7 le le DET _ _ 8 spe _ _ _ _ _ 8 calcul calcul NOM _ _ 4 parenth _ _ _ _ _ 9 infinitésimal infinitésimal ADJ _ _ 8 dep _ _ _ _ _ 10 ... ... PUNC _ _ 2 punc _ _ _ _ _ 11 ) ) PUNC _ _ 8 punc _ _ _ _ _ 12 mais mais ADV _ _ 13 dep _ _ _ _ _ 13 dites dire ADJ _ _ 4 dep _ _ _ _ _ 14 curieusement curieusement ADV _ _ 13 dep _ _ _ _ _ 15 , , PUNC _ _ 2 punc _ _ _ _ _ 16 on on CLS _ _ 17 subj _ _ _ _ _ 17 a avoir VRB _ _ 0 root _ _ _ _ _ 18 l' le DET _ _ 19 spe _ _ _ _ _ 19 impression impression NOM _ _ 17 dep _ _ _ _ _ 20 que que CSU _ _ 19 dep _ _ _ _ _ 21 c' ce CLS _ _ 22 subj _ _ _ _ _ 22 est être VRB _ _ 20 dep _ _ _ _ _ 23 pour pour PRE _ _ 17 dep _ _ _ _ _ 24 placer placer VNF _ _ 23 dep _ _ _ _ _ 25 le le DET _ _ 26 spe _ _ _ _ _ 26 mot mot NOM _ _ 24 dep _ _ _ _ _ 27 logique logique ADJ _ _ 26 dep _ _ _ _ _ 28 . . PUNC _ _ 17 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-130 # text = Sur Le paragraphe " logique moderne " , de ce que je connais de l'histoire , c'est à peu près n'importe quoi tout du long ( par ex. la chronologie entre les travaux de Cantor et ceux de Hilbert est inversée ! , le paradoxe du menteur date des grecs ... ) . 1 Sur sur PRE _ _ 19 periph _ _ _ _ _ 2 Le Le DET _ _ 3 spe _ _ _ _ _ 3 paragraphe paragraphe NOM _ _ 1 dep _ _ _ _ _ 4 " " PUNC _ _ 3 punc _ _ _ _ _ 5 logique logique ADJ _ _ 3 dep _ _ _ _ _ 6 moderne moderne ADJ _ _ 5 dep _ _ _ _ _ 7 " " PUNC _ _ 3 punc _ _ _ _ _ 8 , , PUNC _ _ 1 punc _ _ _ _ _ 9 de de PRE _ _ 3 dep _ _ _ _ _ 10 ce ce PRQ _ _ 9 dep _ _ _ _ _ 11 que que PRQ _ _ 13 dep _ _ _ _ _ 12 je je CLS _ _ 13 subj _ _ _ _ _ 13 connais connaître VRB _ _ 10 dep _ _ _ _ _ 14 de de PRE _ _ 3 dep _ _ _ _ _ 15 l' le DET _ _ 16 spe _ _ _ _ _ 16 histoire histoire NOM _ _ 14 dep _ _ _ _ _ 17 , , PUNC _ _ 1 punc _ _ _ _ _ 18 c' ce CLS _ _ 19 subj _ _ _ _ _ 19 est être VRB _ _ 0 root _ _ _ _ _ 20 à à peu près ADV _ _ 19 dep _ _ _ _ _ 21 peu à peu près ADV _ _ 22 dep _ _ _ _ _ 22 près à peu près ADV _ _ 20 dep _ _ _ _ _ 23 n' n'importe quoi PRQ _ _ 25 dep _ _ _ _ _ 24 importe n'importe quoi PRQ _ _ 25 dep _ _ _ _ _ 25 quoi n'importe quoi PRQ _ _ 19 dep _ _ _ _ _ 26 tout tout ADJ _ _ 25 dep _ _ _ _ _ 27 du de PRE _ _ 25 dep _ _ _ _ _ 28 long long NOM _ _ 27 dep _ _ _ _ _ 29 ( ( PUNC _ _ 28 punc _ _ _ _ _ 30 par par PRE _ _ 0 root _ _ _ _ _ 31 ex. exemple NOM _ _ 30 dep _ _ _ _ _ 32 la le DET _ _ 33 spe _ _ _ _ _ 33 chronologie chronologie NOM _ _ 44 subj _ _ _ _ _ 34 entre entre PRE _ _ 33 dep _ _ _ _ _ 35 les le DET _ _ 36 spe _ _ _ _ _ 36 travaux travail NOM _ _ 34 dep _ _ _ _ _ 37 de de PRE _ _ 36 dep _ _ _ _ _ 38 Cantor Cantor NOM _ _ 37 dep _ _ _ _ _ 39 et et COO _ _ 40 mark _ _ _ _ _ 40 ceux celui PRQ _ _ 36 para _ _ _ _ _ 41 de de PRE _ _ 40 dep _ _ _ _ _ 42 Hilbert Hilbert NOM _ _ 41 dep _ _ _ _ _ 43 est être VRB _ _ 44 aux _ _ _ _ _ 44 inversée inverser VPP _ _ 0 root _ _ _ _ _ 45 ! ! PUNC _ _ 44 punc _ _ _ _ _ 46 , , PUNC _ _ 51 punc _ _ _ _ _ 47 le le DET _ _ 48 spe _ _ _ _ _ 48 paradoxe paradoxe NOM _ _ 51 subj _ _ _ _ _ 49 du de PRE _ _ 48 dep _ _ _ _ _ 50 menteur menteur NOM _ _ 49 dep _ _ _ _ _ 51 date dater VRB _ _ 0 root _ _ _ _ _ 52 des de PRE _ _ 51 dep _ _ _ _ _ 53 grecs grec NOM _ _ 52 dep _ _ _ _ _ 54 ... ... PUNC _ _ 51 punc _ _ _ _ _ 55 ) ) PUNC _ _ 51 punc _ _ _ _ _ 56 . . PUNC _ _ 51 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-131 # text = Au XVIII eme Leibniz qui me semble le personnage le plus important sur le sujet ( dont se réclament les fondateurs de la logique moderne ) n'est même pas mentionné comme logicien . 1 Au Au NOM _ _ 3 subj _ _ _ _ _ 2 XVIII XVIII ADJ _ _ 1 dep _ _ _ _ _ 3 eme émettre VRB _ _ 0 root _ _ _ _ _ 4 Leibniz Leibniz NOM _ _ 31 subj _ _ _ _ _ 5 qui qui PRQ _ _ 7 subj _ _ _ _ _ 6 me le CLI _ _ 7 dep _ _ _ _ _ 7 semble sembler VRB _ _ 4 dep _ _ _ _ _ 8 le le DET _ _ 9 spe _ _ _ _ _ 9 personnage personnage NOM _ _ 7 dep _ _ _ _ _ 10 le le DET _ _ 12 spe _ _ _ _ _ 11 plus plus ADV _ _ 12 dep _ _ _ _ _ 12 important important ADJ _ _ 9 dep _ _ _ _ _ 13 sur sur PRE _ _ 7 dep _ _ _ _ _ 14 le le DET _ _ 15 spe _ _ _ _ _ 15 sujet sujet NOM _ _ 13 dep _ _ _ _ _ 16 ( ( PUNC _ _ 19 punc _ _ _ _ _ 17 dont dont PRQ _ _ 19 dep _ _ _ _ _ 18 se se CLI _ _ 19 dep _ _ _ _ _ 19 réclament réclamer VRB _ _ 15 parenth _ _ _ _ _ 20 les le DET _ _ 21 spe _ _ _ _ _ 21 fondateurs fondateur NOM _ _ 19 subj _ _ _ _ _ 22 de de PRE _ _ 21 dep _ _ _ _ _ 23 la le DET _ _ 24 spe _ _ _ _ _ 24 logique logique NOM _ _ 22 dep _ _ _ _ _ 25 moderne moderne ADJ _ _ 24 dep _ _ _ _ _ 26 ) ) PUNC _ _ 19 punc _ _ _ _ _ 27 n' ne ADV _ _ 31 dep _ _ _ _ _ 28 est être VRB _ _ 31 aux _ _ _ _ _ 29 même même ADV _ _ 31 dep _ _ _ _ _ 30 pas pas ADV _ _ 31 dep _ _ _ _ _ 31 mentionné mentionner VPP _ _ 0 root _ _ _ _ _ 32 comme comme PRE _ _ 31 dep _ _ _ _ _ 33 logicien logicien NOM _ _ 32 dep _ _ _ _ _ 34 . . PUNC _ _ 31 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-132 # text = A mon avis de Vinci n'a pas grand chose à voir avec l'histoire de la logique . 1 A à PRE _ _ 7 periph _ _ _ _ _ 2 mon son DET _ _ 3 spe _ _ _ _ _ 3 avis avis NOM _ _ 1 dep _ _ _ _ _ 4 de de PRE _ _ 3 dep _ _ _ _ _ 5 Vinci Vinci NOM _ _ 4 dep _ _ _ _ _ 6 n' ne ADV _ _ 7 dep _ _ _ _ _ 7 a avoir VRB _ _ 0 root _ _ _ _ _ 8 pas pas ADV _ _ 9 dep _ _ _ _ _ 9 grand grand ADJ _ _ 10 dep _ _ _ _ _ 10 chose chose NOM _ _ 7 dep _ _ _ _ _ 11 à à PRE _ _ 10 dep _ _ _ _ _ 12 voir voir VNF _ _ 11 dep _ _ _ _ _ 13 avec avec PRE _ _ 12 dep _ _ _ _ _ 14 l' le DET _ _ 15 spe _ _ _ _ _ 15 histoire histoire NOM _ _ 13 dep _ _ _ _ _ 16 de de PRE _ _ 15 dep _ _ _ _ _ 17 la le DET _ _ 18 spe _ _ _ _ _ 18 logique logique NOM _ _ 16 dep _ _ _ _ _ 19 . . PUNC _ _ 7 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-133 # text = Parler de logique mathématique avant le XXème siècle c'est complètement anachronique ( je ne sais même pas ce que ça veut dire d'ailleurs ) ... 1 Parler parler NOM _ _ 0 root _ _ _ _ _ 2 de de PRE _ _ 1 dep _ _ _ _ _ 3 logique logique NOM _ _ 2 dep _ _ _ _ _ 4 mathématique mathématique ADJ _ _ 3 dep _ _ _ _ _ 5 avant avant PRE _ _ 3 dep _ _ _ _ _ 6 le le DET _ _ 7 spe _ _ _ _ _ 7 XXème XXème NOM _ _ 5 dep _ _ _ _ _ 8 siècle xxème siècle NOM _ _ 7 dep _ _ _ _ _ 9 c' ce CLS _ _ 10 subj _ _ _ _ _ 10 est être VRB _ _ 1 dep _ _ _ _ _ 11 complètement complètement ADV _ _ 12 dep _ _ _ _ _ 12 anachronique anachronique ADJ _ _ 10 dep _ _ _ _ _ 13 ( ( PUNC _ _ 16 punc _ _ _ _ _ 14 je je CLS _ _ 16 subj _ _ _ _ _ 15 ne ne ADV _ _ 16 dep _ _ _ _ _ 16 sais savoir VRB _ _ 10 parenth _ _ _ _ _ 17 même même ADV _ _ 16 dep _ _ _ _ _ 18 pas pas ADV _ _ 16 dep _ _ _ _ _ 19 ce ce PRQ _ _ 16 dep _ _ _ _ _ 20 que que PRQ _ _ 22 dep _ _ _ _ _ 21 ça cela PRQ _ _ 22 subj _ _ _ _ _ 22 veut vouloir VRB _ _ 19 dep _ _ _ _ _ 23 dire dire VNF _ _ 22 dep _ _ _ _ _ 24 d' d'ailleurs PRE _ _ 23 dep _ _ _ _ _ 25 ailleurs d'ailleurs NOM _ _ 24 dep _ _ _ _ _ 26 ) ) PUNC _ _ 16 punc _ _ _ _ _ 27 ... ... PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-134 # text = Au XIXème , rien sur Boole , Peirce ... 1 Au à PRE _ _ 4 periph _ _ _ _ _ 2 XIXème XIXème NOM _ _ 1 dep _ _ _ _ _ 3 , , PUNC _ _ 1 punc _ _ _ _ _ 4 rien rien PRQ _ _ 0 root _ _ _ _ _ 5 sur sur PRE _ _ 4 dep _ _ _ _ _ 6 Boole Boole NOM _ _ 5 dep _ _ _ _ _ 7 , , PUNC _ _ 8 punc _ _ _ _ _ 8 Peirce Peirce NOM _ _ 6 dep _ _ _ _ _ 9 ... ... PUNC _ _ 4 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-135 # text = Il ne faut pas hésiter à tout reprendre , bien-sûr la critique est plus facile : 1 Il il CLS _ _ 3 subj _ _ _ _ _ 2 ne ne ADV _ _ 3 dep _ _ _ _ _ 3 faut falloir VRB _ _ 0 root _ _ _ _ _ 4 pas pas ADV _ _ 3 dep _ _ _ _ _ 5 hésiter hésiter VNF _ _ 3 dep _ _ _ _ _ 6 à à PRE _ _ 5 dep _ _ _ _ _ 7 tout tout PRQ _ _ 8 dep _ _ _ _ _ 8 reprendre reprendre VNF _ _ 6 dep _ _ _ _ _ 9 , , PUNC _ _ 13 punc _ _ _ _ _ 10 bien-sûr bien ADV _ _ 3 dep _ _ _ _ _ 11 la le DET _ _ 12 spe _ _ _ _ _ 12 critique critique NOM _ _ 13 subj _ _ _ _ _ 13 est être VRB _ _ 3 dep _ _ _ _ _ 14 plus plus ADV _ _ 15 dep _ _ _ _ _ 15 facile facile ADJ _ _ 13 dep _ _ _ _ _ 16 : : PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-136 # text = ça demande du boulot ... 1 ça cela PRQ _ _ 2 subj _ _ _ _ _ 2 demande demander VRB _ _ 0 root _ _ _ _ _ 3 du de+le DET _ _ 4 spe _ _ _ _ _ 4 boulot boulot NOM _ _ 2 dep _ _ _ _ _ 5 ... ... PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-137 # text = mais on peut au moins dire que ça ne parle quasiment pas de l'histoire de la logique ... 1 mais mais COO _ _ 3 mark _ _ _ _ _ 2 on on CLS _ _ 3 subj _ _ _ _ _ 3 peut pouvoir VRB _ _ 0 root _ _ _ _ _ 4 au à+le PRE _ _ 3 dep _ _ _ _ _ 5 moins au moins NOM _ _ 4 dep _ _ _ _ _ 6 dire dire VNF _ _ 3 dep _ _ _ _ _ 7 que que CSU _ _ 6 dep _ _ _ _ _ 8 ça cela PRQ _ _ 10 subj _ _ _ _ _ 9 ne ne ADV _ _ 10 dep _ _ _ _ _ 10 parle parler VRB _ _ 7 dep _ _ _ _ _ 11 quasiment quasiment ADV _ _ 10 dep _ _ _ _ _ 12 pas pas ADV _ _ 10 dep _ _ _ _ _ 13 de de PRE _ _ 10 dep _ _ _ _ _ 14 l' le DET _ _ 15 spe _ _ _ _ _ 15 histoire histoire NOM _ _ 13 dep _ _ _ _ _ 16 de de PRE _ _ 15 dep _ _ _ _ _ 17 la le DET _ _ 18 spe _ _ _ _ _ 18 logique logique NOM _ _ 16 dep _ _ _ _ _ 19 ... ... PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-138 # text = Tout-à-fait d'accord . 1 Tout-à-fait tout- NOM _ _ 0 root _ _ _ _ _ 2 d' de PRE _ _ 1 dep _ _ _ _ _ 3 accord accord NOM _ _ 2 dep _ _ _ _ _ 4 . . PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-139 # text = Maintenant , peut -on essayer de trouver une ligne directrice ? 1 Maintenant maintenant ADV _ _ 3 periph _ _ _ _ _ 2 , , PUNC _ _ 1 punc _ _ _ _ _ 3 peut pouvoir VRB _ _ 0 root _ _ _ _ _ 4 -on -on CLS _ _ 3 subj _ _ _ _ _ 5 essayer essayer VNF _ _ 3 dep _ _ _ _ _ 6 de de PRE _ _ 5 dep _ _ _ _ _ 7 trouver trouver VNF _ _ 6 dep _ _ _ _ _ 8 une un DET _ _ 9 spe _ _ _ _ _ 9 ligne ligne NOM _ _ 7 dep _ _ _ _ _ 10 directrice directeur ADJ _ _ 9 dep _ _ _ _ _ 11 ? ? PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-140 # text = Y a -t-il des filiations ou tout au moins des fils historiques ? 1 Y le CLI _ _ 2 dep _ _ _ _ _ 2 a avoir VRB _ _ 0 root _ _ _ _ _ 3 -t-il -t-il CLS _ _ 2 subj _ _ _ _ _ 4 des un DET _ _ 5 spe _ _ _ _ _ 5 filiations filiation NOM _ _ 2 dep _ _ _ _ _ 6 ou ou COO _ _ 11 mark _ _ _ _ _ 7 tout tout ADV _ _ 6 dep _ _ _ _ _ 8 au à+le PRE _ _ 6 dep _ _ _ _ _ 9 moins au moins NOM _ _ 8 dep _ _ _ _ _ 10 des un DET _ _ 11 spe _ _ _ _ _ 11 fils fils NOM _ _ 5 para _ _ _ _ _ 12 historiques historique ADJ _ _ 11 dep _ _ _ _ _ 13 ? ? PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-141 # text = - 1 - - PUNC _ _ 0 root _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-142 # text = Tout n'est pas à jeter . 1 Tout tout PRQ _ _ 3 subj _ _ _ _ _ 2 n' ne ADV _ _ 3 dep _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 pas pas ADV _ _ 3 dep _ _ _ _ _ 5 à à PRE _ _ 3 dep _ _ _ _ _ 6 jeter jeter VNF _ _ 5 dep _ _ _ _ _ 7 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-143 # text = D'autre part , le plan qui consiste à considérer les grands courants liés à des bassins géographiques me parait acceptable . 1 D' d'autre part DET _ _ 2 spe _ _ _ _ _ 2 autre d'autre part ADV _ _ 20 periph _ _ _ _ _ 3 part d'autre part NOM _ _ 2 dep _ _ _ _ _ 4 , , PUNC _ _ 2 punc _ _ _ _ _ 5 le le DET _ _ 6 spe _ _ _ _ _ 6 plan plan NOM _ _ 20 subj _ _ _ _ _ 7 qui qui PRQ _ _ 8 subj _ _ _ _ _ 8 consiste consister VRB _ _ 6 dep _ _ _ _ _ 9 à à PRE _ _ 8 dep _ _ _ _ _ 10 considérer considérer VNF _ _ 9 dep _ _ _ _ _ 11 les le DET _ _ 13 spe _ _ _ _ _ 12 grands grand ADJ _ _ 13 dep _ _ _ _ _ 13 courants courant NOM _ _ 10 dep _ _ _ _ _ 14 liés lier VPP _ _ 13 dep _ _ _ _ _ 15 à à PRE _ _ 14 dep _ _ _ _ _ 16 des un DET _ _ 17 spe _ _ _ _ _ 17 bassins bassin NOM _ _ 15 dep _ _ _ _ _ 18 géographiques géographique ADJ _ _ 17 dep _ _ _ _ _ 19 me le CLI _ _ 20 dep _ _ _ _ _ 20 parait parer VRB _ _ 0 root _ _ _ _ _ 21 acceptable acceptable ADJ _ _ 20 dep _ _ _ _ _ 22 . . PUNC _ _ 20 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-144 # text = C'est peut-être le contenu qui l'est moins . 1 C' ce CLS _ _ 2 subj _ _ _ _ _ 2 est être VRB _ _ 0 root _ _ _ _ _ 3 peut-être peut-être ADV _ _ 2 dep _ _ _ _ _ 4 le le DET _ _ 5 spe _ _ _ _ _ 5 contenu contenu NOM _ _ 2 dep _ _ _ _ _ 6 qui qui PRQ _ _ 8 subj _ _ _ _ _ 7 l' le CLI _ _ 8 dep _ _ _ _ _ 8 est être VRB _ _ 5 dep _ _ _ _ _ 9 moins moins ADV _ _ 8 dep _ _ _ _ _ 10 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-145 # text = En ce qui concerne , je ne suis pas favorable à une vision gréco-centrée des choses , ce qui est souvent un travers de ce genre d'articles . 1 En en PRE _ _ 8 periph _ _ _ _ _ 2 ce ce PRQ _ _ 1 dep _ _ _ _ _ 3 qui qui PRQ _ _ 4 subj _ _ _ _ _ 4 concerne concerner VRB _ _ 2 dep _ _ _ _ _ 5 , , PUNC _ _ 1 punc _ _ _ _ _ 6 je je CLS _ _ 8 subj _ _ _ _ _ 7 ne ne ADV _ _ 8 dep _ _ _ _ _ 8 suis être VRB _ _ 0 root _ _ _ _ _ 9 pas pas ADV _ _ 8 dep _ _ _ _ _ 10 favorable favorable ADJ _ _ 8 dep _ _ _ _ _ 11 à à PRE _ _ 10 dep _ _ _ _ _ 12 une un DET _ _ 13 spe _ _ _ _ _ 13 vision vision NOM _ _ 11 dep _ _ _ _ _ 14 gréco-centrée grec ADJ _ _ 13 dep _ _ _ _ _ 15 des de PRE _ _ 13 dep _ _ _ _ _ 16 choses chose NOM _ _ 15 dep _ _ _ _ _ 17 , , PUNC _ _ 18 punc _ _ _ _ _ 18 ce ce PRQ _ _ 8 dep _ _ _ _ _ 19 qui qui PRQ _ _ 20 subj _ _ _ _ _ 20 est être VRB _ _ 18 dep _ _ _ _ _ 21 souvent souvent ADV _ _ 20 dep _ _ _ _ _ 22 un un DET _ _ 23 spe _ _ _ _ _ 23 travers travers NOM _ _ 20 dep _ _ _ _ _ 24 de de PRE _ _ 23 dep _ _ _ _ _ 25 ce ce DET _ _ 26 spe _ _ _ _ _ 26 genre genre NOM _ _ 24 dep _ _ _ _ _ 27 d' de PRE _ _ 26 dep _ _ _ _ _ 28 articles article NOM _ _ 27 dep _ _ _ _ _ 29 . . PUNC _ _ 8 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-146 # text = En gros , on dit « les Grecs ont tout inventé et ils ne communiquait pas avec le reste du monde » . 1 En en gros PRE _ _ 5 periph _ _ _ _ _ 2 gros en gros NOM _ _ 1 dep _ _ _ _ _ 3 , , PUNC _ _ 1 punc _ _ _ _ _ 4 on on CLS _ _ 5 subj _ _ _ _ _ 5 dit dire VRB _ _ 0 root _ _ _ _ _ 6 « « PUNC _ _ 11 punc _ _ _ _ _ 7 les le DET _ _ 8 spe _ _ _ _ _ 8 Grecs Grecs NOM _ _ 11 subj _ _ _ _ _ 9 ont avoir VRB _ _ 11 aux _ _ _ _ _ 10 tout tout ADV _ _ 11 periph _ _ _ _ _ 11 inventé inventer VPP _ _ 5 dep _ _ _ _ _ 12 et et COO _ _ 15 mark _ _ _ _ _ 13 ils ils CLS _ _ 15 subj _ _ _ _ _ 14 ne ne ADV _ _ 15 dep _ _ _ _ _ 15 communiquait communiquer VRB _ _ 11 para _ _ _ _ _ 16 pas pas ADV _ _ 15 dep _ _ _ _ _ 17 avec avec PRE _ _ 15 dep _ _ _ _ _ 18 le le DET _ _ 19 spe _ _ _ _ _ 19 reste reste NOM _ _ 17 dep _ _ _ _ _ 20 du de PRE _ _ 19 dep _ _ _ _ _ 21 monde monde NOM _ _ 20 dep _ _ _ _ _ 22 » » PUNC _ _ 11 punc _ _ _ _ _ 23 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-147 # text = J'y suis peut-être allé un peu fort , je ne dis pas pour le plan ( découpage géographique et chronologique , ceci dit ) , je n'y connais rien du tout pour ce qui est de la logique en chine , en inde et dans le monde islamique . 1 J' j' CLS _ _ 5 subj _ _ _ _ _ 2 y le CLI _ _ 5 dep _ _ _ _ _ 3 suis être VRB _ _ 5 aux _ _ _ _ _ 4 peut-être peut-être ADV _ _ 5 dep _ _ _ _ _ 5 allé aller VPP _ _ 0 root _ _ _ _ _ 6 un un peu ADV _ _ 7 dep _ _ _ _ _ 7 peu un peu ADV _ _ 8 dep _ _ _ _ _ 8 fort fort ADJ _ _ 5 dep _ _ _ _ _ 9 , , PUNC _ _ 30 punc _ _ _ _ _ 10 je je CLS _ _ 12 subj _ _ _ _ _ 11 ne ne ADV _ _ 12 dep _ _ _ _ _ 12 dis dire VRB _ _ 5 dep _ _ _ _ _ 13 pas pas ADV _ _ 12 dep _ _ _ _ _ 14 pour pour PRE _ _ 12 dep _ _ _ _ _ 15 le le DET _ _ 16 spe _ _ _ _ _ 16 plan plan NOM _ _ 14 dep _ _ _ _ _ 17 ( ( PUNC _ _ 24 punc _ _ _ _ _ 18 découpage découpage NOM _ _ 12 parenth _ _ _ _ _ 19 géographique géographique ADJ _ _ 18 dep _ _ _ _ _ 20 et et COO _ _ 21 mark _ _ _ _ _ 21 chronologique chronologique ADJ _ _ 19 para _ _ _ _ _ 22 , , PUNC _ _ 30 punc _ _ _ _ _ 23 ceci ceci dit ADV _ _ 24 dep _ _ _ _ _ 24 dit ceci dit ADV _ _ 23 para _ _ _ _ _ 25 ) ) PUNC _ _ 24 punc _ _ _ _ _ 26 , , PUNC _ _ 30 punc _ _ _ _ _ 27 je je CLS _ _ 30 subj _ _ _ _ _ 28 n' ne ADV _ _ 30 dep _ _ _ _ _ 29 y le CLI _ _ 30 dep _ _ _ _ _ 30 connais connaître VRB _ _ 5 dep _ _ _ _ _ 31 rien rien PRQ _ _ 30 dep _ _ _ _ _ 32 du de PRE _ _ 31 dep _ _ _ _ _ 33 tout tout NOM _ _ 32 dep _ _ _ _ _ 34 pour pour PRE _ _ 30 dep _ _ _ _ _ 35 ce ce PRQ _ _ 34 dep _ _ _ _ _ 36 qui qui PRQ _ _ 37 subj _ _ _ _ _ 37 est être VRB _ _ 35 dep _ _ _ _ _ 38 de de PRE _ _ 37 dep _ _ _ _ _ 39 la le DET _ _ 40 spe _ _ _ _ _ 40 logique logique NOM _ _ 38 dep _ _ _ _ _ 41 en en PRE _ _ 37 dep _ _ _ _ _ 42 chine chine NOM _ _ 41 dep _ _ _ _ _ 43 , , PUNC _ _ 44 punc _ _ _ _ _ 44 en en PRE _ _ 41 para _ _ _ _ _ 45 inde inde NOM _ _ 44 dep _ _ _ _ _ 46 et et COO _ _ 47 mark _ _ _ _ _ 47 dans dans PRE _ _ 44 para _ _ _ _ _ 48 le le DET _ _ 49 spe _ _ _ _ _ 49 monde monde NOM _ _ 47 dep _ _ _ _ _ 50 islamique islamique ADJ _ _ 49 dep _ _ _ _ _ 51 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-148 # text = Mais il m'est arrivé d'ouvrir un bouquin d'histoire de la logique ( Kneale and Kneale par ex. ) , et là franchement je ne reconnais pas grand chose . 1 Mais mais COO _ _ 5 mark _ _ _ _ _ 2 il il CLS _ _ 5 subj _ _ _ _ _ 3 m' le CLI _ _ 5 dep _ _ _ _ _ 4 est être VRB _ _ 5 aux _ _ _ _ _ 5 arrivé arriver VPP _ _ 0 root _ _ _ _ _ 6 d' de PRE _ _ 5 dep _ _ _ _ _ 7 ouvrir ouvrir VNF _ _ 6 dep _ _ _ _ _ 8 un un DET _ _ 9 spe _ _ _ _ _ 9 bouquin bouquin NOM _ _ 7 dep _ _ _ _ _ 10 d' de PRE _ _ 9 dep _ _ _ _ _ 11 histoire histoire NOM _ _ 10 dep _ _ _ _ _ 12 de de PRE _ _ 11 dep _ _ _ _ _ 13 la le DET _ _ 14 spe _ _ _ _ _ 14 logique logique NOM _ _ 12 dep _ _ _ _ _ 15 ( ( PUNC _ _ 18 punc _ _ _ _ _ 16 Kneale Kneale NOM _ _ 18 dep _ _ _ _ _ 17 and kneale and kneale NOM _ _ 18 dep _ _ _ _ _ 18 Kneale Kneale NOM _ _ 14 parenth _ _ _ _ _ 19 par par PRE _ _ 18 dep _ _ _ _ _ 20 ex. exemple NOM _ _ 19 dep _ _ _ _ _ 21 ) ) PUNC _ _ 18 punc _ _ _ _ _ 22 , , PUNC _ _ 28 punc _ _ _ _ _ 23 et et COO _ _ 28 mark _ _ _ _ _ 24 là là ADV _ _ 23 dep _ _ _ _ _ 25 franchement franchement ADV _ _ 23 dep _ _ _ _ _ 26 je je CLS _ _ 28 subj _ _ _ _ _ 27 ne ne ADV _ _ 28 dep _ _ _ _ _ 28 reconnais reconnaître VRB _ _ 5 para _ _ _ _ _ 29 pas pas ADV _ _ 28 dep _ _ _ _ _ 30 grand grand ADJ _ _ 28 dep _ _ _ _ _ 31 chose chose ADJ _ _ 28 dep _ _ _ _ _ 32 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-149 # text = Sur le principe , évidemment que je serais d'accord pour éviter l'occidento-centrage . 1 Sur sur PRE _ _ 6 periph _ _ _ _ _ 2 le le DET _ _ 3 spe _ _ _ _ _ 3 principe principe NOM _ _ 1 dep _ _ _ _ _ 4 , , PUNC _ _ 1 punc _ _ _ _ _ 5 évidemment évidemment ADV _ _ 6 dep _ _ _ _ _ 6 que que CSU _ _ 0 root _ _ _ _ _ 7 je je CLS _ _ 8 subj _ _ _ _ _ 8 serais être VRB _ _ 6 dep _ _ _ _ _ 9 d' de PRE _ _ 8 dep _ _ _ _ _ 10 accord accord NOM _ _ 9 dep _ _ _ _ _ 11 pour pour PRE _ _ 8 dep _ _ _ _ _ 12 éviter éviter VNF _ _ 11 dep _ _ _ _ _ 13 l' le NOM _ _ 14 det _ _ _ _ _ 14 occidento-centrage le NOM _ _ 12 dep _ _ _ _ _ 15 . . PUNC _ _ 6 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-150 # text = Le pb est qu'historiquement les contributions les plus notoires ( du point de vue des logiciens ) sont venues des aires hellénique et germanique . 1 Le le DET _ _ 2 spe _ _ _ _ _ 2 pb problème NOM _ _ 3 subj _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 qu' que CSU _ _ 3 dep _ _ _ _ _ 5 historiquement historiquement ADV _ _ 20 periph _ _ _ _ _ 6 les le DET _ _ 7 spe _ _ _ _ _ 7 contributions contribution NOM _ _ 20 subj _ _ _ _ _ 8 les le DET _ _ 10 spe _ _ _ _ _ 9 plus plus ADV _ _ 10 dep _ _ _ _ _ 10 notoires notoire ADJ _ _ 7 dep _ _ _ _ _ 11 ( ( PUNC _ _ 12 punc _ _ _ _ _ 12 du de PRE _ _ 7 parenth _ _ _ _ _ 13 point point NOM _ _ 12 dep _ _ _ _ _ 14 de de PRE _ _ 13 dep _ _ _ _ _ 15 vue vue NOM _ _ 14 dep _ _ _ _ _ 16 des de PRE _ _ 13 dep _ _ _ _ _ 17 logiciens logicien NOM _ _ 16 dep _ _ _ _ _ 18 ) ) PUNC _ _ 12 punc _ _ _ _ _ 19 sont être VRB _ _ 20 aux _ _ _ _ _ 20 venues venir VPP _ _ 4 dep _ _ _ _ _ 21 des de PRE _ _ 20 dep _ _ _ _ _ 22 aires aire NOM _ _ 21 dep _ _ _ _ _ 23 hellénique hellénique ADJ _ _ 3 dep _ _ _ _ _ 24 et et COO _ _ 25 mark _ _ _ _ _ 25 germanique germanique ADJ _ _ 23 para _ _ _ _ _ 26 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-151 # text = Ailleurs c'est très difficile de trouver des références solides . 1 Ailleurs ailleurs ADV _ _ 3 periph _ _ _ _ _ 2 c' ce CLS _ _ 3 subj _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 très très ADV _ _ 5 dep _ _ _ _ _ 5 difficile difficile ADJ _ _ 3 dep _ _ _ _ _ 6 de de PRE _ _ 5 dep _ _ _ _ _ 7 trouver trouver VNF _ _ 6 dep _ _ _ _ _ 8 des un DET _ _ 9 spe _ _ _ _ _ 9 références référence NOM _ _ 7 dep _ _ _ _ _ 10 solides solide ADJ _ _ 9 dep _ _ _ _ _ 11 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-152 # text = Elles existent sûrement . 1 Elles elles CLS _ _ 2 subj _ _ _ _ _ 2 existent exister VRB _ _ 0 root _ _ _ _ _ 3 sûrement sûrement ADV _ _ 2 dep _ _ _ _ _ 4 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-153 # text = Peut-être les wikipédiens du secteur histoire-géo-civilisations pourraient donner un coup de main ? 1 Peut-être peut-être ADV _ _ 0 root _ _ _ _ _ 2 les le DET _ _ 3 spe _ _ _ _ _ 3 wikipédiens wikipédiens ADJ _ _ 0 root _ _ _ _ _ 4 du de PRE _ _ 3 dep _ _ _ _ _ 5 secteur secteur NOM _ _ 4 dep _ _ _ _ _ 6 histoire-géo-civilisations histoire NOM _ _ 0 root _ _ _ _ _ 7 pourraient pouvoir VRB _ _ 0 root _ _ _ _ _ 8 donner donner VNF _ _ 0 root _ _ _ _ _ 9 un un DET _ _ 10 spe _ _ _ _ _ 10 coup coup NOM _ _ 8 dep _ _ _ _ _ 11 de de PRE _ _ 10 dep _ _ _ _ _ 12 main main NOM _ _ 11 dep _ _ _ _ _ 13 ? ? PUNC _ _ 8 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-154 # text = - 1 - - PUNC _ _ 0 root _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-155 # text = ( Je repositionne les décalages , qui ont été perturbés de ma faute ) . 1 ( ( PUNC _ _ 2 punc _ _ _ _ _ 2 Je Je CLS _ _ 3 subj _ _ _ _ _ 3 repositionne repositionner VRB _ _ 0 root _ _ _ _ _ 4 les le DET _ _ 5 spe _ _ _ _ _ 5 décalages décalage NOM _ _ 3 dep _ _ _ _ _ 6 , , PUNC _ _ 10 punc _ _ _ _ _ 7 qui qui PRQ _ _ 10 subj _ _ _ _ _ 8 ont avoir VRB _ _ 9 aux _ _ _ _ _ 9 été être VPP _ _ 10 aux _ _ _ _ _ 10 perturbés perturber VPP _ _ 5 dep _ _ _ _ _ 11 de de PRE _ _ 10 dep _ _ _ _ _ 12 ma son DET _ _ 13 spe _ _ _ _ _ 13 faute faute NOM _ _ 11 dep _ _ _ _ _ 14 ) ) PUNC _ _ 13 punc _ _ _ _ _ 15 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-156 # text = Je dirais qu'il ne faut pas hésiter à tout effacer dans " période classique " ( hors sujet constant ) , et très sérieusement reprendre le reste ( antiquité grecque , moyen âge , logique moderne et contemporaine ) . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 dirais dire VRB _ _ 0 root _ _ _ _ _ 3 qu' que CSU _ _ 2 dep _ _ _ _ _ 4 il il CLS _ _ 6 subj _ _ _ _ _ 5 ne ne ADV _ _ 6 dep _ _ _ _ _ 6 faut falloir VRB _ _ 3 dep _ _ _ _ _ 7 pas pas ADV _ _ 6 dep _ _ _ _ _ 8 hésiter hésiter VNF _ _ 6 dep _ _ _ _ _ 9 à à PRE _ _ 8 dep _ _ _ _ _ 10 tout tout PRQ _ _ 11 dep _ _ _ _ _ 11 effacer effacer VNF _ _ 9 dep _ _ _ _ _ 12 dans dans PRE _ _ 11 dep _ _ _ _ _ 13 " " PUNC _ _ 14 punc _ _ _ _ _ 14 période période NOM _ _ 12 dep _ _ _ _ _ 15 classique classique ADJ _ _ 14 dep _ _ _ _ _ 16 " " PUNC _ _ 14 punc _ _ _ _ _ 17 ( ( PUNC _ _ 18 punc _ _ _ _ _ 18 hors hors PRE _ _ 11 parenth _ _ _ _ _ 19 sujet sujet NOM _ _ 18 dep _ _ _ _ _ 20 constant constant ADJ _ _ 19 dep _ _ _ _ _ 21 ) ) PUNC _ _ 18 punc _ _ _ _ _ 22 , , PUNC _ _ 26 punc _ _ _ _ _ 23 et et COO _ _ 26 mark _ _ _ _ _ 24 très très ADV _ _ 25 dep _ _ _ _ _ 25 sérieusement sérieusement ADV _ _ 26 periph _ _ _ _ _ 26 reprendre reprendre VNF _ _ 6 para _ _ _ _ _ 27 le le DET _ _ 28 spe _ _ _ _ _ 28 reste reste NOM _ _ 26 dep _ _ _ _ _ 29 ( ( PUNC _ _ 30 punc _ _ _ _ _ 30 antiquité antiquité NOM _ _ 26 parenth _ _ _ _ _ 31 grecque grec ADJ _ _ 30 dep _ _ _ _ _ 32 , , PUNC _ _ 37 punc _ _ _ _ _ 33 moyen moyen ADJ _ _ 34 dep _ _ _ _ _ 34 âge âge NOM _ _ 30 dep _ _ _ _ _ 35 , , PUNC _ _ 37 punc _ _ _ _ _ 36 logique logique ADJ _ _ 30 dep _ _ _ _ _ 37 moderne moderne ADJ _ _ 30 dep _ _ _ _ _ 38 et et COO _ _ 39 mark _ _ _ _ _ 39 contemporaine contemporain ADJ _ _ 37 para _ _ _ _ _ 40 ) ) PUNC _ _ 30 punc _ _ _ _ _ 41 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-157 # text = Fil historique : 1 Fil fil NOM _ _ 0 root _ _ _ _ _ 2 historique historique ADJ _ _ 1 dep _ _ _ _ _ 3 : : PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-158 # text = je crois comprendre que , pour la partie histoire occidentale , l'influence d'Aristote est essentielle jusqu'au XIXeme ( y compris une bonne partie de celui -ci ) , et les rapports avec les démonstrations mathématiques ( qui ne commencent pas à Euclide ) aussi . 1 je je CLS _ _ 2 subj _ _ _ _ _ 2 crois croire VRB _ _ 0 root _ _ _ _ _ 3 comprendre comprendre VNF _ _ 2 dep _ _ _ _ _ 4 que que CSU _ _ 3 dep _ _ _ _ _ 5 , , PUNC _ _ 16 punc _ _ _ _ _ 6 pour pour PRE _ _ 16 periph _ _ _ _ _ 7 la le DET _ _ 8 spe _ _ _ _ _ 8 partie partie NOM _ _ 6 dep _ _ _ _ _ 9 histoire histoire NOM _ _ 8 dep _ _ _ _ _ 10 occidentale occidental ADJ _ _ 9 dep _ _ _ _ _ 11 , , PUNC _ _ 6 punc _ _ _ _ _ 12 l' le DET _ _ 13 spe _ _ _ _ _ 13 influence influence NOM _ _ 16 subj _ _ _ _ _ 14 d' de PRE _ _ 13 dep _ _ _ _ _ 15 Aristote Aristote NOM _ _ 14 dep _ _ _ _ _ 16 est être VRB _ _ 4 dep _ _ _ _ _ 17 essentielle essentiel ADJ _ _ 16 dep _ _ _ _ _ 18 jusqu'au jusqu'à PRE _ _ 16 dep _ _ _ _ _ 19 XIXeme XIXeme NOM _ _ 18 dep _ _ _ _ _ 20 ( ( PUNC _ _ 22 punc _ _ _ _ _ 21 y y compris PRE _ _ 22 dep _ _ _ _ _ 22 compris y compris PRE _ _ 19 parenth _ _ _ _ _ 23 une un DET _ _ 25 spe _ _ _ _ _ 24 bonne bon ADJ _ _ 25 dep _ _ _ _ _ 25 partie partie NOM _ _ 22 dep _ _ _ _ _ 26 de de PRE _ _ 25 dep _ _ _ _ _ 27 celui celui PRQ _ _ 26 dep _ _ _ _ _ 28 -ci -ci ADJ _ _ 27 dep _ _ _ _ _ 29 ) ) PUNC _ _ 22 punc _ _ _ _ _ 30 , , PUNC _ _ 33 punc _ _ _ _ _ 31 et et COO _ _ 33 mark _ _ _ _ _ 32 les le DET _ _ 33 spe _ _ _ _ _ 33 rapports rapport NOM _ _ 19 para _ _ _ _ _ 34 avec avec PRE _ _ 33 dep _ _ _ _ _ 35 les le DET _ _ 36 spe _ _ _ _ _ 36 démonstrations démonstration NOM _ _ 34 dep _ _ _ _ _ 37 mathématiques mathématique ADJ _ _ 36 dep _ _ _ _ _ 38 ( ( PUNC _ _ 41 punc _ _ _ _ _ 39 qui qui PRQ _ _ 41 subj _ _ _ _ _ 40 ne ne ADV _ _ 41 dep _ _ _ _ _ 41 commencent commencer VRB _ _ 36 parenth _ _ _ _ _ 42 pas pas ADV _ _ 41 dep _ _ _ _ _ 43 à à PRE _ _ 41 dep _ _ _ _ _ 44 Euclide Euclide NOM _ _ 43 dep _ _ _ _ _ 45 ) ) PUNC _ _ 41 punc _ _ _ _ _ 46 aussi aussi ADV _ _ 16 dep _ _ _ _ _ 47 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-159 # text = Maintenant il faut lire et donc du temps pour faire ça sérieusement ( pour moi , vu mes connaissances actuelles , en tout cas ) ... 1 Maintenant maintenant ADV _ _ 3 periph _ _ _ _ _ 2 il il CLS _ _ 3 subj _ _ _ _ _ 3 faut falloir VRB _ _ 0 root _ _ _ _ _ 4 lire lire VNF _ _ 3 dep _ _ _ _ _ 5 et et COO _ _ 7 mark _ _ _ _ _ 6 donc donc ADV _ _ 5 dep _ _ _ _ _ 7 du de PRE _ _ 4 para _ _ _ _ _ 8 temps temps NOM _ _ 7 dep _ _ _ _ _ 9 pour pour PRE _ _ 3 dep _ _ _ _ _ 10 faire faire VNF _ _ 9 dep _ _ _ _ _ 11 ça cela PRQ _ _ 10 dep _ _ _ _ _ 12 sérieusement sérieusement ADV _ _ 10 dep _ _ _ _ _ 13 ( ( PUNC _ _ 14 punc _ _ _ _ _ 14 pour pour PRE _ _ 10 parenth _ _ _ _ _ 15 moi lui PRQ _ _ 14 dep _ _ _ _ _ 16 , , PUNC _ _ 17 punc _ _ _ _ _ 17 vu voir ADJ _ _ 15 dep _ _ _ _ _ 18 mes son DET _ _ 19 spe _ _ _ _ _ 19 connaissances connaissance NOM _ _ 17 dep _ _ _ _ _ 20 actuelles actuel ADJ _ _ 19 dep _ _ _ _ _ 21 , , PUNC _ _ 24 punc _ _ _ _ _ 22 en en tout cas PRE _ _ 19 dep _ _ _ _ _ 23 tout en tout cas DET _ _ 24 spe _ _ _ _ _ 24 cas en tout cas NOM _ _ 17 dep _ _ _ _ _ 25 ) ) PUNC _ _ 14 punc _ _ _ _ _ 26 ... ... PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-160 # text = Je signale un autre ( gros ! ) ouvrage de référence , assez connu : 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 signale signaler VRB _ _ 0 root _ _ _ _ _ 3 un un DET _ _ 4 spe _ _ _ _ _ 4 autre autre ADJ _ _ 2 dep _ _ _ _ _ 5 ( ( PUNC _ _ 6 punc _ _ _ _ _ 6 gros gros NOM _ _ 4 parenth _ _ _ _ _ 7 ! ! PUNC _ _ 2 punc _ _ _ _ _ 8 ) ) PUNC _ _ 6 punc _ _ _ _ _ 9 ouvrage ouvrage NOM _ _ 2 dep _ _ _ _ _ 10 de de PRE _ _ 9 dep _ _ _ _ _ 11 référence référence NOM _ _ 10 dep _ _ _ _ _ 12 , , PUNC _ _ 14 punc _ _ _ _ _ 13 assez assez ADV _ _ 14 dep _ _ _ _ _ 14 connu connaître ADJ _ _ 2 dep _ _ _ _ _ 15 : : PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-161 # text = William Kneale and Martha Kneale The Development of Logic Oxford University Press ( 1962 , 1984 ) . 1 William william kneale and martha kneale the development of logic oxford university press NOM _ _ 12 periph _ _ _ _ _ 2 Kneale Kneale NOM _ _ 12 periph _ _ _ _ _ 3 and william kneale and martha kneale the development of logic oxford university press NOM _ _ 12 periph _ _ _ _ _ 4 Martha Martha NOM _ _ 12 periph _ _ _ _ _ 5 Kneale Kneale NOM _ _ 12 periph _ _ _ _ _ 6 The The NOM _ _ 12 periph _ _ _ _ _ 7 Development Development NOM _ _ 12 periph _ _ _ _ _ 8 of william kneale and martha kneale the development of logic oxford university press NOM _ _ 12 periph _ _ _ _ _ 9 Logic Logic NOM _ _ 12 periph _ _ _ _ _ 10 Oxford Oxford NOM _ _ 12 periph _ _ _ _ _ 11 University University NOM _ _ 12 dep _ _ _ _ _ 12 Press Press NOM _ _ 0 root _ _ _ _ _ 13 ( ( PUNC _ _ 16 punc _ _ _ _ _ 14 1962 1962 NUM _ _ 16 spe _ _ _ _ _ 15 , 1962 , 1984 PUNC _ _ 14 punc _ _ _ _ _ 16 1984 1984 NUM _ _ 12 parenth _ _ _ _ _ 17 ) ) PUNC _ _ 16 punc _ _ _ _ _ 18 . . PUNC _ _ 12 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-162 # text = J'hésite à le mettre tout de suite , vu que le contenu actuel de l'article n'a pas grand rapport . 1 J' j' CLS _ _ 2 subj _ _ _ _ _ 2 hésite hésiter VRB _ _ 0 root _ _ _ _ _ 3 à à PRE _ _ 2 dep _ _ _ _ _ 4 le le CLI _ _ 5 dep _ _ _ _ _ 5 mettre mettre VNF _ _ 3 dep _ _ _ _ _ 6 tout tout de suite NOM _ _ 5 dep _ _ _ _ _ 7 de tout de suite PRE _ _ 6 dep _ _ _ _ _ 8 suite tout de suite ADV _ _ 7 dep _ _ _ _ _ 9 , , PUNC _ _ 11 punc _ _ _ _ _ 10 vu vu que CSU _ _ 11 dep _ _ _ _ _ 11 que vu que CSU _ _ 2 dep _ _ _ _ _ 12 le le DET _ _ 13 spe _ _ _ _ _ 13 contenu contenu NOM _ _ 19 subj _ _ _ _ _ 14 actuel actuel ADJ _ _ 13 dep _ _ _ _ _ 15 de de PRE _ _ 13 dep _ _ _ _ _ 16 l' le DET _ _ 17 spe _ _ _ _ _ 17 article article NOM _ _ 15 dep _ _ _ _ _ 18 n' ne ADV _ _ 19 dep _ _ _ _ _ 19 a avoir VRB _ _ 11 dep _ _ _ _ _ 20 pas pas ADV _ _ 19 dep _ _ _ _ _ 21 grand grand ADJ _ _ 22 dep _ _ _ _ _ 22 rapport rapport NOM _ _ 19 dep _ _ _ _ _ 23 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-163 # text = Je veux bien servir de lecteur , mais de contributeur principal . 1 Je je CLS _ _ 2 subj _ _ _ _ _ 2 veux vouloir VRB _ _ 0 root _ _ _ _ _ 3 bien bien ADV _ _ 2 dep _ _ _ _ _ 4 servir servir VNF _ _ 2 dep _ _ _ _ _ 5 de de PRE _ _ 4 dep _ _ _ _ _ 6 lecteur lecteur NOM _ _ 5 dep _ _ _ _ _ 7 , , PUNC _ _ 9 punc _ _ _ _ _ 8 mais mais COO _ _ 9 mark _ _ _ _ _ 9 de de PRE _ _ 5 para _ _ _ _ _ 10 contributeur contributeur NOM _ _ 9 dep _ _ _ _ _ 11 principal principal ADJ _ _ 10 dep _ _ _ _ _ 12 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-164 # text = Origine de l'article 1 Origine origine NOM _ _ 0 root _ _ _ _ _ 2 de de PRE _ _ 1 dep _ _ _ _ _ 3 l' le DET _ _ 4 spe _ _ _ _ _ 4 article article NOM _ _ 2 dep _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-165 # text = J'ai fait par hasard un peu d'archéologie wikipédique : 1 J' j' CLS _ _ 3 subj _ _ _ _ _ 2 ai avoir VRB _ _ 3 aux _ _ _ _ _ 3 fait faire VPP _ _ 0 root _ _ _ _ _ 4 par par hasard PRE _ _ 3 dep _ _ _ _ _ 5 hasard par hasard ADV _ _ 4 dep _ _ _ _ _ 6 un un peu de DET _ _ 8 dep _ _ _ _ _ 7 peu un peu de DET _ _ 8 dep _ _ _ _ _ 8 d' un peu de DET _ _ 9 spe _ _ _ _ _ 9 archéologie archéologie NOM _ _ 3 dep _ _ _ _ _ 10 wikipédique wikipédique ADJ _ _ 9 dep _ _ _ _ _ 11 : : PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-166 # text = cet article est issu d'une discussion tenue ici : 1 cet ce DET _ _ 2 spe _ _ _ _ _ 2 article article NOM _ _ 3 subj _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 issu issu ADJ _ _ 3 dep _ _ _ _ _ 5 d' de PRE _ _ 4 dep _ _ _ _ _ 6 une un DET _ _ 7 spe _ _ _ _ _ 7 discussion discussion NOM _ _ 5 dep _ _ _ _ _ 8 tenue tenir ADJ _ _ 7 dep _ _ _ _ _ 9 ici ici ADV _ _ 8 dep _ _ _ _ _ 10 : : PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-167 # text = Discussion : 1 Discussion discussion NOM _ _ 0 root _ _ _ _ _ 2 : : PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-168 # text = Nombre réel , ça explique en partie le contenu ( il s'agit plutôt d'une histoire de la rigueur en math ou quelque chose de ce genre ) . 1 Nombre nombrer ADJ _ _ 5 periph _ _ _ _ _ 2 réel réel ADJ _ _ 1 dep _ _ _ _ _ 3 , , PUNC _ _ 1 punc _ _ _ _ _ 4 ça cela PRQ _ _ 5 subj _ _ _ _ _ 5 explique expliquer VRB _ _ 0 root _ _ _ _ _ 6 en en partie PRE _ _ 5 dep _ _ _ _ _ 7 partie en partie NOM _ _ 6 dep _ _ _ _ _ 8 le le DET _ _ 9 spe _ _ _ _ _ 9 contenu contenu NOM _ _ 5 dep _ _ _ _ _ 10 ( ( PUNC _ _ 13 punc _ _ _ _ _ 11 il il CLS _ _ 13 subj _ _ _ _ _ 12 s' s' CLI _ _ 13 dep _ _ _ _ _ 13 agit agir VRB _ _ 5 parenth _ _ _ _ _ 14 plutôt plutôt ADV _ _ 13 dep _ _ _ _ _ 15 d' de PRE _ _ 13 dep _ _ _ _ _ 16 une un DET _ _ 17 spe _ _ _ _ _ 17 histoire histoire NOM _ _ 15 dep _ _ _ _ _ 18 de de PRE _ _ 17 dep _ _ _ _ _ 19 la le DET _ _ 20 spe _ _ _ _ _ 20 rigueur rigueur NOM _ _ 18 dep _ _ _ _ _ 21 en en PRE _ _ 20 dep _ _ _ _ _ 22 math math NOM _ _ 21 dep _ _ _ _ _ 23 ou ou COO _ _ 25 mark _ _ _ _ _ 24 quelque quelque chose DET _ _ 25 spe _ _ _ _ _ 25 chose quelque chose NOM _ _ 20 para _ _ _ _ _ 26 de de PRE _ _ 25 dep _ _ _ _ _ 27 ce ce DET _ _ 28 spe _ _ _ _ _ 28 genre genre NOM _ _ 26 dep _ _ _ _ _ 29 ) ) PUNC _ _ 13 punc _ _ _ _ _ 30 . . PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-169 # text = Il reste que ça ne correspond pas au titre ni à la bibliographie ajoutée depuis . 1 Il il CLS _ _ 2 subj _ _ _ _ _ 2 reste rester VRB _ _ 0 root _ _ _ _ _ 3 que que CSU _ _ 2 dep _ _ _ _ _ 4 ça cela PRQ _ _ 6 subj _ _ _ _ _ 5 ne ne ADV _ _ 6 dep _ _ _ _ _ 6 correspond correspondre VRB _ _ 3 dep _ _ _ _ _ 7 pas pas ADV _ _ 6 dep _ _ _ _ _ 8 au à PRE _ _ 6 dep _ _ _ _ _ 9 titre titre NOM _ _ 8 dep _ _ _ _ _ 10 ni ni COO _ _ 11 mark _ _ _ _ _ 11 à à PRE _ _ 8 para _ _ _ _ _ 12 la le DET _ _ 13 spe _ _ _ _ _ 13 bibliographie bibliographie NOM _ _ 11 dep _ _ _ _ _ 14 ajoutée ajouter ADJ _ _ 13 dep _ _ _ _ _ 15 depuis depuis ADV _ _ 14 dep _ _ _ _ _ 16 . . PUNC _ _ 2 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-170 # text = de plus même dans cette perspective , c'est moins aberrant mais contestable . 1 de de plus PRE _ _ 9 periph _ _ _ _ _ 2 plus de plus NOM _ _ 1 dep _ _ _ _ _ 3 même même ADJ _ _ 9 periph _ _ _ _ _ 4 dans dans PRE _ _ 3 dep _ _ _ _ _ 5 cette ce DET _ _ 6 spe _ _ _ _ _ 6 perspective perspective NOM _ _ 4 dep _ _ _ _ _ 7 , , PUNC _ _ 3 punc _ _ _ _ _ 8 c' ce CLS _ _ 9 subj _ _ _ _ _ 9 est être VRB _ _ 0 root _ _ _ _ _ 10 moins moins ADV _ _ 11 dep _ _ _ _ _ 11 aberrant aberrant ADJ _ _ 9 dep _ _ _ _ _ 12 mais mais COO _ _ 13 mark _ _ _ _ _ 13 contestable contestable ADJ _ _ 11 para _ _ _ _ _ 14 . . PUNC _ _ 9 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-171 # text = Boole , de Morgan , Karnaugh , Jevons , ... 1 Boole Boole NOM _ _ 0 root _ _ _ _ _ 2 , , PUNC _ _ 3 punc _ _ _ _ _ 3 de de PRE _ _ 1 dep _ _ _ _ _ 4 Morgan Morgan NOM _ _ 3 dep _ _ _ _ _ 5 , , PUNC _ _ 8 punc _ _ _ _ _ 6 Karnaugh Karnaugh NOM _ _ 4 dep _ _ _ _ _ 7 , , PUNC _ _ 8 punc _ _ _ _ _ 8 Jevons Jevons NOM _ _ 4 dep _ _ _ _ _ 9 , , PUNC _ _ 1 punc _ _ _ _ _ 10 ... ... PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-172 # text = Boole , de Morgan , Karnaugh , Jevons , ... 1 Boole Boole NOM _ _ 0 root _ _ _ _ _ 2 , , PUNC _ _ 3 punc _ _ _ _ _ 3 de de PRE _ _ 1 dep _ _ _ _ _ 4 Morgan Morgan NOM _ _ 3 dep _ _ _ _ _ 5 , , PUNC _ _ 8 punc _ _ _ _ _ 6 Karnaugh Karnaugh NOM _ _ 4 dep _ _ _ _ _ 7 , , PUNC _ _ 8 punc _ _ _ _ _ 8 Jevons Jevons NOM _ _ 4 dep _ _ _ _ _ 9 , , PUNC _ _ 1 punc _ _ _ _ _ 10 ... ... PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-173 # text = Il en manque . 1 Il il CLS _ _ 3 subj _ _ _ _ _ 2 en le CLI _ _ 3 dep _ _ _ _ _ 3 manque manquer VRB _ _ 0 root _ _ _ _ _ 4 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-174 # text = En effet il n'y a rien sur ces personnes précurseuses du calcul propositionnel ( Frege et Russell c'est plutôt le calcul des prédicats . ) Donc si vous connaissez , allez -y ( comme dans l'article logique ) ! 1 En en effet PRE _ _ 6 periph _ _ _ _ _ 2 effet en effet NOM _ _ 1 dep _ _ _ _ _ 3 il il CLS _ _ 6 subj _ _ _ _ _ 4 n' ne ADV _ _ 6 dep _ _ _ _ _ 5 y le CLI _ _ 6 dep _ _ _ _ _ 6 a avoir VRB _ _ 0 root _ _ _ _ _ 7 rien rien PRQ _ _ 6 dep _ _ _ _ _ 8 sur sur PRE _ _ 7 dep _ _ _ _ _ 9 ces ce DET _ _ 10 spe _ _ _ _ _ 10 personnes personne NOM _ _ 8 dep _ _ _ _ _ 11 précurseuses précurseur ADJ _ _ 10 dep _ _ _ _ _ 12 du de PRE _ _ 10 dep _ _ _ _ _ 13 calcul calcul NOM _ _ 12 dep _ _ _ _ _ 14 propositionnel propositionnel ADJ _ _ 13 dep _ _ _ _ _ 15 ( ( PUNC _ _ 21 punc _ _ _ _ _ 16 Frege Frege NOM _ _ 20 subj _ _ _ _ _ 17 et et COO _ _ 18 mark _ _ _ _ _ 18 Russell Russell NOM _ _ 16 para _ _ _ _ _ 19 c' ce CLS _ _ 20 subj _ _ _ _ _ 20 est être VRB _ _ 0 root _ _ _ _ _ 21 plutôt plutôt ADV _ _ 20 parenth _ _ _ _ _ 22 le le DET _ _ 23 spe _ _ _ _ _ 23 calcul calcul NOM _ _ 20 dep _ _ _ _ _ 24 des de PRE _ _ 23 dep _ _ _ _ _ 25 prédicats prédicat NOM _ _ 24 dep _ _ _ _ _ 26 . . PUNC _ _ 20 punc _ _ _ _ _ 27 ) ) PUNC _ _ 21 punc _ _ _ _ _ 28 Donc Donc COO _ _ 31 mark _ _ _ _ _ 29 si si ADV _ _ 31 periph _ _ _ _ _ 30 vous vous CLS _ _ 31 subj _ _ _ _ _ 31 connaissez connaître VRB _ _ 42 mark _ _ _ _ _ 32 , , PUNC _ _ 31 punc _ _ _ _ _ 33 allez aller VRB _ _ 31 dep _ _ _ _ _ 34 -y le CLI _ _ 33 dep _ _ _ _ _ 35 ( ( PUNC _ _ 36 punc _ _ _ _ _ 36 comme comme PRE _ _ 33 parenth _ _ _ _ _ 37 dans dans PRE _ _ 36 dep _ _ _ _ _ 38 l' le DET _ _ 39 spe _ _ _ _ _ 39 article article NOM _ _ 37 dep _ _ _ _ _ 40 logique logique ADJ _ _ 39 dep _ _ _ _ _ 41 ) ) PUNC _ _ 36 punc _ _ _ _ _ 42 ! ! PUNC _ _ 20 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-175 # text = L'article est de manière générale très insuffisant et les bonnes volontés sont les biens venues . 1 L' le DET _ _ 2 spe _ _ _ _ _ 2 article article NOM _ _ 3 subj _ _ _ _ _ 3 est être VRB _ _ 0 root _ _ _ _ _ 4 de de PRE _ _ 3 dep _ _ _ _ _ 5 manière manière NOM _ _ 4 dep _ _ _ _ _ 6 générale général ADJ _ _ 5 dep _ _ _ _ _ 7 très très ADV _ _ 8 dep _ _ _ _ _ 8 insuffisant insuffisant ADJ _ _ 3 dep _ _ _ _ _ 9 et et COO _ _ 13 mark _ _ _ _ _ 10 les le DET _ _ 12 spe _ _ _ _ _ 11 bonnes bon ADJ _ _ 12 dep _ _ _ _ _ 12 volontés volonté NOM _ _ 13 subj _ _ _ _ _ 13 sont être VRB _ _ 3 para _ _ _ _ _ 14 les le DET _ _ 15 spe _ _ _ _ _ 15 biens bien NOM _ _ 13 dep _ _ _ _ _ 16 venues venu NOM _ _ 15 dep _ _ _ _ _ 17 . . PUNC _ _ 3 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-176 # text = Cordialement . 1 Cordialement cordialement ADV _ _ 0 root _ _ _ _ _ 2 . . PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-177 # text = Rem , il y a un Projet : 1 Rem rem NOM _ _ 5 periph _ _ _ _ _ 2 , , PUNC _ _ 1 punc _ _ _ _ _ 3 il il CLS _ _ 5 subj _ _ _ _ _ 4 y le CLI _ _ 5 dep _ _ _ _ _ 5 a avoir VRB _ _ 0 root _ _ _ _ _ 6 un un DET _ _ 7 spe _ _ _ _ _ 7 Projet Projet NOM _ _ 5 dep _ _ _ _ _ 8 : : PUNC _ _ 5 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-178 # text = Logique à revivifier . 1 Logique logique NOM _ _ 0 root _ _ _ _ _ 2 à à PRE _ _ 1 dep _ _ _ _ _ 3 revivifier revivifier VNF _ _ 2 dep _ _ _ _ _ 4 . . PUNC _ _ 1 punc _ _ _ _ _ # sent_id = cefc-comere-cmr-wikiconflits-histologique_discu-tei-v1-179 # text = -- 1 -- - PUNC _ _ 0 root _ _ _ _ _