Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Computer Science
L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère algorithmique de ces objets scientifiques nous amène à considérer de nouveaux langages pour les décrire. Cette révolution, dans le langage dans lequel la science s'écrit, peut-être comparée à la révolution qui s'est produite, au début du XVIIe siècle, quand le langage mathématique a commencé à être utilisé pour décrire des phénomènes physiques.
L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère ...
00A30 ; 03B35 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-19-851476-3
Localisation : Colloque 1er étage (MUSS)
fondement # logique mathématique # philosophie des mathématiques # épistémologie
00A30 ; 03-06 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 263 p.
ISBN 978-4-902578-04-1
Localisation : Colloque 1er étage (TOKY)
philosophie # sémantique # logique intuitionniste
03AXX ; 00A30 ; 03A10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-90-277-1126-7
Synthese library , 0145
Localisation : Colloque 1er étage (PISA)
Bechler # Knorr et Szabo # Kuhn # Niinilnoto # Sadovsky # anti- positivisme # art de l'interprétation historique # axiomatique ancienne # axiomatique d'Aristote # axiomatique géométrique # construction génétique de théorie mathématique # histoire de la science # idéal de l'ancienne Grèce # interprétation changeante de Galilée # logique # mécanisation du système du monde # méthode de la science # méthodologie de Galilée # philosophie de la science # post-renaissance # sociologie # structuralisme # structure du changement de théorie # travail créatif objet de compréhension théorique
Bechler # Knorr et Szabo # Kuhn # Niinilnoto # Sadovsky # anti- positivisme # art de l'interprétation historique # axiomatique ancienne # axiomatique d'Aristote # axiomatique géométrique # construction génétique de théorie mathématique # histoire de la science # idéal de l'ancienne Grèce # interprétation changeante de Galilée # logique # mécanisation du système du monde # méthode de la science # méthodologie de Galilée # philosophie de la ...
00A30 ; 01A20 ; 01A40 ; 60-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07321-5
Localisation : Colloque 1er étage (YAMA)
Pp. 365-486
00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 444 p.
ISBN 978-1-56881-170-3
Lecture notes in logic , 0015
Localisation : Colloque 1er étage (STAN)
logique # fondement des mathématiques # philosophie des mathématiques # théorie auto-adaptive # calcul # preuve # analyse théorique
00B25 ; 03-06 ; 00A30 ; 00B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (GREN)
attitude et anxiété # bilinguisme # enseignement des mathématiques # enseignement secondaire # enseignement supérieur # formation des enseignants # logique et représentation # mémoire et solution de problème # problème de méthode # psycologie # école primaire # éducation mathématique # étape et catégorie de la pensée mathématique
00A06 ; 00A30 ; 96D05 ; 96G05 ; 97G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (GREN)
France # apprentissage de classe # apprentissage et enseignement des mathématiques # apprentissage intelligent # blocage psychologique # fonctionnement cognitif # pensée et apprentissage mathématique # psychologie # recherche en didactique des mathématiques # théorie et méthode # vernaculaire mathématique # éducation mathématique # évaluation
00A30 ; 97CXX ; 96-XX ; 97-XX ; 98-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-90-277-1127-4
Synthese library , 0146
Localisation : Colloque 1er étage (PISA)
Ellis # Maxwell # Venn # Vernadsky # biologie # cause de mort # construction de théorie # controverse Mach-Boltsamnn # diagnostic étiologique # déterminisme # histoire philosophie de la science # induction # intéraction # logique du hasard # mécanique statistique # méthodologie # pensée probabiliste # pluralisme # provisionalisme # période moderne classique # réalisme pragmatique # réalité physique # table de vie # thermodynamique # théorie de la fréquence # théorie des probabilités
Ellis # Maxwell # Venn # Vernadsky # biologie # cause de mort # construction de théorie # controverse Mach-Boltsamnn # diagnostic étiologique # déterminisme # histoire philosophie de la science # induction # intéraction # logique du hasard # mécanique statistique # méthodologie # pensée probabiliste # pluralisme # provisionalisme # période moderne classique # réalisme pragmatique # réalité physique # table de vie # thermodynamique # théorie de ...
00A30 ; 01A25 ; 60-03 ; 70A75 ; 73-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 p.
ISBN 978-0-444-70011-7
Localisation : Ouvrage RdC (ESCH)
art # épistémologie des sciences # géométrie # idée mathématique # informatique graphique # pavage # represtation # scie # symmétrie
00A06 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87656-0
Studies in logic and the foundations of mathematics , 0114
Localisation : Colloque 1er étage (SALZ)
fondements des mathematiques # logique # philosophie des sciences
00A35 ; 00A69 ; 03-03 ; 03A05 ; 03E25 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-85423-0
Studies in logic and the foundations of mathematics , 0104
Localisation : Colloque 1er étage (HANN)
biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science
00A30 ; 03-02 ; 03-06 ; 03A05 ; 03Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-287-00389-9
Localisation : Colloque 1er étage (CERI)
Leibnitz # Weyl # Wittgenstein # analyse infinitésimale # analyse non standard # aristotélisme # calcul analogique # cardinalité mathématique # connexionnisme # construction des mathématiques # continu # continuité # fini # fontenelle # histoire des mathématiques # intuition du continu # logique # mathématique discrète # mathématiques des continues # nombre incommensurable # philosophie # physique du continu # science cognitive # épistémologie des mathématiques
Leibnitz # Weyl # Wittgenstein # analyse infinitésimale # analyse non standard # aristotélisme # calcul analogique # cardinalité mathématique # connexionnisme # construction des mathématiques # continu # continuité # fini # fontenelle # histoire des mathématiques # intuition du continu # logique # mathématique discrète # mathématiques des continues # nombre incommensurable # philosophie # physique du continu # science cognitive # épistémologie ...
00A30 ; 03-05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-902498-00-0
Localisation : Colloque 1er étage (CAEN)
Aristote # Egypte # Fermat # Gauss # astronomie # diversité des nombres # espace et nombre # guerre # géométrie # histoire des mathématiques # moyen-âge # représentation des nombres # statut des nombres # théorie des nombres # épistémologie
00A30 ; 00A35 ; 01A35 ; 11-03 ; 51Mxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 406 p.
ISBN 978-2-8143-0081-1
Histoires de géométries
Localisation : Colloque 1er étage (NANC)
construction géométrique # histoire des mathématiques # sémiotique # notations mathématiques # épistémologie
00A35 ; 00A30
... Lire [+]