Questions de logique

Réponse Ada Lovelace était une mathématicienne britannique du XIXe siècle, connue pour avoir écrit le premier algorithme destiné à être exécuté par une machine, en l'occurrence la machine analytique de Charles Babbage. Elle est souvent considérée comme la première programmeuse de l'histoire.

Réponse Thomas Edison est cet inventeur prolifique, dont les travaux ont révolutionné la vie moderne. Bien que l'ampoule soit souvent créditée à son nom, il a perfectionné des inventions existantes et breveté des innovations majeures, tout en fondant la première centrale électrique commerciale à New York.

Réponse Hypatie était une mathématicienne, astronome et philosophe grecque de la fin du IVe siècle et du début du Ve siècle. Elle est l'une des premières femmes scientifiques dont l'œuvre est connue et a enseigné à l'école néoplatonicienne d'Alexandrie, tout en contribuant à des avancées en géométrie et en astronomie.

Réponse Alan Turing était un mathématicien, cryptologue et informaticien britannique, considéré comme l'un des pères de l'informatique moderne. Pendant la Seconde Guerre mondiale, il a joué un rôle clé dans le décryptage des messages allemands codés par la machine Enigma, contribuant ainsi à écourter le conflit.

Réponse Eratosthène est le mathématicien grec à qui l'on attribue cette prouesse. Il a utilisé des observations liées aux angles des ombres à deux endroits différents de l'Égypte antique pour estimer la circonférence terrestre avec une marge d'erreur inférieure à 2% par rapport aux mesures modernes.

Réponse La logique formelle se concentre sur la structure des arguments et utilise un langage symbolique précis pour éviter toute ambiguïté, comme dans les calculs booléens ou les syllogismes. La logique informelle, en revanche, s'intéresse au contenu des arguments dans le langage courant et à leur pertinence dans des contextes réels, incluant les biais cognitifs et les fallaces du langage quotidien.

Réponse Le plus ancien texte connu traitant explicitement de logique est L'Organon d'Aristote, datant du IVe siècle av. J.-C. Cet ensemble de six traités constitue le premier système organisé de logique formelle, incluant l'analyse des syllogismes et des concepts fondamentaux du raisonnement. Il a influencé la pensée occidentale pendant plus de deux millénaires.

Réponse Un argument logique est valide si sa structure garantit que si les prémisses sont vraies, alors la conclusion doit nécessairement être vraie. Cependant, la validité ne dépend pas de la vérité des prémisses elles-mêmes. Par exemple, l'argument Tous les oiseaux volent, un pingouin est un oiseau, donc un pingouin vole est valide mais faux car la prémisse initiale est incorrecte.

Réponse Les diagrammes de Venn ont été inventés par le logicien et philosophe britannique John Venn en 1880. Ces schémas visuels permettent de représenter graphiquement les relations entre différents ensembles et leurs intersections. Ils sont encore largement utilisés aujourd'hui pour illustrer des concepts logiques et mathématiques.