Les délicats paradoxes de Berry et de Skolem / Jean-Paul Delahaye / Pour la science (2021) in Pour la science, 525 (07/2021)

[article]  inPour la science > 525 (07/2021) Titre : Les délicats paradoxes de Berry et de Skolem Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2021 Article : p.80-85 Note générale : Bibliographie, webographie. Langues : Français (fre) Descripteurs : logique mathématique Résumé : Le point en mathématiques sur les paradoxes de la définissabilité : l'exemple du paradoxe de Berry, les notions de théorie et de métathéorie, l'utilité des paradoxes dans la découverte de procédés de démonstration, le paradoxe de Skolem. Nature du document : documentaire Genre : / Article de périodique //Article de périodique [article]

Logique / Xavier Hubaut / Xavier Hubaut (2019)  

Titre : Logique Type de document : document électronique Auteurs : Xavier Hubaut Editeur : Xavier Hubaut, 2019 Format : Web Langues : Français (fre) Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Genre : Documentaire Niveau : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm

Pourquoi 1+1 = 2 / Rémi Explique / Remi Explique (2018)  

Titre : Pourquoi 1+1 = 2 Type de document : document électronique Auteurs : Rémi Explique Editeur : Remi Explique, 2018 Description : 1 vidéo : 4 min 09 s Format : Web Note générale : Schémas. Langues : Français (fre) Descripteurs : logique mathématique nombre opération arithmétique Résumé : Présentation vidéo sur la différence entre les nombres et les chiffres ainsi que sur le fonctionnement d'une addition par des axiomes de Peano (tout entier naturel a un unique successeur). Nature du document : documentaire Genre : Vidéo Niveau : Classe de 1ere/Classe de Terminale/lycée/Secondaire En ligne : https://www.youtube.com/watch?v=opQdz6zLJWU

De la régularité dans le désordre / Antoine Chambert-Loir / Sophia Publications (2020) in La Recherche (Paris. 1970), 563 (11/2020)

[article]  inLa Recherche (Paris. 1970) > 563 (11/2020) Titre : De la régularité dans le désordre Type de document : texte imprimé Auteurs : Antoine Chambert-Loir, Auteur Editeur : Sophia Publications, 2020 Article : p.106-112 Langues : Français (fre) Descripteurs : logique mathématique Résumé : Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable. Nature du document : documentaire Genre : Article de périodique [article]