 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
2 Documents disponibles dans cette catégorie
Article de périodique
Gödel et l'indécidabilité : des mythes à la réalité
- Dans le périodique : Sciences et avenir (1949), n°945 (11/2025) p.86-88
- Antoine Houlou-Garcia
Retour sur les théorèmes d'incomplétude de Kurt Gödel, un mathématicien autrichien du 20e siècle : son apport pour les mathématiques ; le contexte de leur formulation. Encadré : un exemple d'incomplétude basé sur le combat entre Hercule et l'hydre.Tu as plutôt une intelligence logico-mathématique
- Dans le périodique : Phosphore. Hors-série, n°2210 (11/2022) p.62-70
Présentation de métiers qui nécessitent des aptitudes en logique et en mathématiques : archiviste, épidémiologiste, bio-informaticien, data scientist, comptable, cryptologue, microtechnologue, ingénieur algorithme et IA, sociologue, référenceur [...]
