Résultats de la recherche

...[Éméritat|professeur émérite]] au département d'histoire et de philosophie des sciences de l'[[Université de Pittsburgh]]. Il a également enseigné à l'[[U ...nnesota, il rejoint la faculté du département d'histoire et de philosophie des sciences de l'[[Université de Pittsburgh]] en 1985<ref>{{Lien web |auteur=R ...

=== Mathématiques et informatique === ...optique|objectif]] doublement [[Astigmatisme|anastigmatique]], le premier des [[Système anastigmatique à trois miroirs|systèmes anastigmatiques à trois m ...

...es|mathématiques]]. Elle est [[Professeur émérite|professeure émérite]] de mathématiques à l'[[université Monmouth]]<ref name=monmouth>{{Lien web|langue=en |url=htt Elle a été directrice du département de mathématiques du {{Lien|langue=en|fr=Wabash College}} avant de déménager à Monmouth, où e ...

...il considère la quantité des autres biens. Comme pour l’ordre alphabétique des noms dans un dictionnaire, on regarde la première lettre: '''b'''ateau vien ...t &nbsp; <math>x^2 =\{q_1^2, q_2^2\}</math> &nbsp; deux complexes composés des biens &nbsp; <math> q_1</math> &nbsp; et &nbsp; <math> q_2 </math>. Le comp ...

...landais]] dont les travaux concernent essentiellement les [[fondements des mathématiques]]. ...msterdam]] où il avait obtenu un doctorat. Evert Beth étudie lui aussi les mathématiques et la physique à l'[[université d'Utrecht]], mais aussi la philosophie et l ...

...tableau de la [[Tableau périodique des éléments|classification périodique des éléments]]. === Mathématiques === ...

...nomie]] et [[théorie des jeux]], notamment dans le cadre de la « [[Théorie des jeux|théorie de la décision interactive]] » pour lequel il fut récompensé d ...au formalisme de la connaissance commune, c'est ainsi le cas pour l'énigme des « cocus de Bagdad »<ref>{{article | titre = l’incroyable problème de Freude ...

...tions]] qui a pour but de construire le [[modèle dynamique]] [[Continuité (mathématiques)|continu]] le plus simple pouvant engendrer une [[Morphologie mathématique| ...comportant des [[Singularité (mathématiques)|singularité]]s, c'est-à-dire des variations soudaines. ...

...bord, l'intégralité des éléments supposés définir le sujet sont en réalité des généralités formulées de façon si floue et bien souvent si [[tautologie (rh Le '''rapport qualité-prix''' est, comme son nom l'indique, le [[Rapport (mathématiques)|rapport]] de la qualité (exprimée sous forme d'un nombre) d'un objet par s ...

...démarquée de la ''Géométrie'' de [[Descartes]], il s'attira les foudres du philosophe qui eut raison de lui au travers de l'arpenteur [[Jacob A. Waessenaer]]. ...Jonghe", qui demeure en correspondance avec Beeckman, et qui professe les mathématiques à Rotterdam, donne un premier traité de [[trigonométrie sphérique]] déma ...

...rege|site=www.bibmath.net}}</ref> comme une formalisation du langage des [[mathématiques]] entre la fin du {{s-|XIX}} et le début du {{s-|XX}}. La logique du premie ...bulaire]] symbolique de base ainsi que les règles permettant de construire des énoncés ; ...

{{Ébauche|mathématiques}} {{Chronologie mathématiques|1924}} ...

...91 [[Dana S. Scott|Dana Scott]], Les logiciens vont-ils être remplacés par des machines ? (titre anglais : ''Will Logicians be Replaced by Machines?'') * 1994 [[Donald Martin|Donald A. Martin]], L(R) : un état des lieux (titre anglais : ''L(R): A Survey''). ...

...llonie/>, est un [[abbé]] de l'[[Abbaye de la Paix-Dieu]] à [[Amay]], et [[Mathématiques|mathématicien]] [[principauté de Liège|liégeois]] de renom. ...e]] en 1643<ref name=MacTutor/>. Il étudie ensuite l'[[astronomie]] et les mathématiques, en particulier la géométrie de [[Bonaventura Cavalieri|Cavalieri]]<ref nam ...

...l'[[université d'Oxford]], qui adoptèrent une approche logico-mathématique des problèmes philosophiques. ...itesse moyenne]] (fondement de la [[chute libre (physique)|loi de la chute des corps]]) : « ''un corps se déplaçant à vitesse constante parcourt la même d ...

'''''Le Livre des carrés''''' ('''''Liber Quadratorum'''''<ref>Fibonacci, Leonardo Pisano . T ...mmentaire biblio SRL|Extrait de P. Ver Eecke : ''Léonard de Pise. Le Livre des nombres carrés, traduit pour la première fois du latin médiéval en français ...

...en sciences humaines, le nom '''Pascal''' fait généralement référence au [[philosophe]] et [[mathématicien]] [[Blaise Pascal]]. === Mathématiques === ...

...mplication (logique)|implication]]. Elle a été proposée par le logicien et philosophe [[Charles Sanders Peirce]]<ref>C. S. Peirce, « {{Langue|en|On the Algebra o L'un des principes de la logique classique est le [[raisonnement par l'absurde]]. Po ...

{{Infobox Personnalité des sciences humaines et sociales |formation = [[médecine]], [[physiologie]], [[mathématiques]] ...

...désigné ainsi en raison de sa ressemblance au [[Taquet|système de blocage des voiles sur un bateau]], représente la [[déduction logique]]. ...x », c'est-à-dire que y est prouvable à partir de x. ⊢ est une [[Relation (mathématiques)|relation]] agissant sur les [[Formule bien formée|formules]] elles-mêmes, ...