LEADER 04225nam 2200613 450 001 9910818858103321 005 20230803214841.0 010 $a2-8066-3099-1 035 $a(CKB)3790000000018669 035 $a(EBL)2085873 035 $a(SSID)ssj0001554153 035 $a(PQKBManifestationID)16180136 035 $a(PQKBTitleCode)TC0001554153 035 $a(PQKBWorkID)14799287 035 $a(PQKB)10428920 035 $a(MiAaPQ)EBC2085873 035 $a(Au-PeEL)EBL2085873 035 $a(OCoLC)914152627 035 $a(EXLCZ)993790000000018669 100 $a20200122h20142015 uy 0 101 0 $afre 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aIntuition et de?duction en mathe?matiques $eretour au de?bat sur la "crise des fondements" /$fBruno Leclercq 210 1$aBruxelles ;$aFernelmont, [Belgium] :$cEME,$d2014. 210 4$d©2015 215 $a1 online resource (431 p.) 225 0 $aLogiques et syste?mes 300 $aDescription based upon print version of record. 311 $a2-8066-3098-3 311 $a2-8066-3096-7 320 $aIncludes bibliographical references (pages 257-267). 327 $aAvant-propos; Chapitre I Intuition et de?duction dans les mathe?matiques; Rene? Descartes et Emmanuel Kant : Intuition mathe?matique et construction; Bernard Bolzano et les mathe?matiques du XIXe sie?cle : De?duction et calcul; Chapitre II Le psychologisme; David Hume : Gene?se psychique des ide?es complexes; L'e?cole empiriste-associationniste : Ne?cessite? de l'habitude et le?gitimation empirique; Les sciences humaines et la gene?se du transcendantal; Premie?re re?ponse a? l'antipsychologisme : un naturalisme non sceptique 327 $aSeconde re?ponse a? l'antipsychologisme : la fondation de la logique normative dans une psychologie ide?alise?eFranz Brentano : Fondement de la logique dans une psychologie « descriptive »; Bernard Bolzano : L'argument antipsychologiste de l'ide?alite? de la logique; Chapitre III Le logicisme; Gottlob Frege : Le projet ide?ographique; L'antipsychologisme; L'analyse logique au fondement de l'arithme?tique; Bertrand Russell : L'extension du projet logiciste; Les paradoxes et la the?orie des types; Rudolf Carnap : Logicisme et empirisme logique; Chapitre IVL'intuitionnisme 327 $aLeopold Kronecker, Henri Poincare?, E?mile Borel :Exigences de constructivite? et de pre?dicativite?Luitzen Brouwer : Le libre de?veloppement de l'intuition mathe?matique; Herman Weyl : Du « continu » actuel clairseme? au riche continu potentiel; Arend Heyting : Faire de l'intuitionnisme un syste?me formel ?; Chapitre V Le formalisme; David Hilbert : L'axiomatique formelle (et non plus contentuelle); Mathe?matique formelle et me?tamathe?matique finitiste; Hermann Weyl : Le?gitimite? des proposition « ide?ales » dans le syste?me de la science 327 $aRudolf Carnap : Regard formaliste sur le logicisme et l'intuitionnismeFin des de?bats; Bibliographie; Dans la collection « Logiques et Syste?mes » 330 $a A? la fin du XVIIIe sie?cle, Emmanuel Kant pouvait encore voir dans les mathe?matiques le mode?le me?me des jugements synthe?tiques a priori, c'est-a?-dire dote?s d'un contenu intuitif propre quoique non de?rive? de l'expe?rience sensible. Des ge?ome?tries non-euclidiennes a? la the?orie des transfinis de Cantor, les mathe?matiques du XIXe sie?cle vont cependant faire triompher des syste?mes mathe?matiques re?solument de?ductifs et non plus intuitifs. Sur fond d'interrogations quant a? la le?gitimite? de ces de?veloppements re?cents, interrogations renforce?es par la de?couverte de paradoxes, d'a?pres de?bats vont alors o 606 $aMathematics$xPhilosophy 606 $aIntuition 606 $aLogic 615 0$aMathematics$xPhilosophy. 615 0$aIntuition. 615 0$aLogic. 676 $a510 700 $aLeclercq$b Bruno$01153894 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910818858103321 996 $aIntuition et de?duction en mathe?matiques$93950725 997 $aUNINA