Centre de Documentation HELHa - Loverval
Horaire d'ouverture: Du lundi au vendredi, de 8h00 à 16h00
Fermeture les jours fériés et durant les congés scolaires
Fermeture exceptionnelle le mercredi 24 avril de 8h00 à 12h45
Fermeture les jours fériés et durant les congés scolaires
Fermeture exceptionnelle le mercredi 24 avril de 8h00 à 12h45
Bienvenue sur le catalogue du centre de documentation de la HELHa de Loverval.
Pour avoir accès aux documents numériques, vous devez vous authentifier avec vos identifiants HELHa
Pour avoir accès aux documents numériques, vous devez vous authentifier avec vos identifiants HELHa
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'indécidabilité'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
L'I.A. se prend le mur de Gödel / Roman Ikonicoff in science & vie, 1226 (novembre 2019)
[article]
Titre : L'I.A. se prend le mur de Gödel Type de document : texte imprimé Auteurs : Roman Ikonicoff Année de publication : 2019 Article en page(s) : p. 106-110 Langues : Français (fre) Catégories : T:technologie:intelligence artificielle Mots-clés : indécidabilité
in science & vie > 1226 (novembre 2019) . - p. 106-110[article] L'I.A. se prend le mur de Gödel [texte imprimé] / Roman Ikonicoff . - 2019 . - p. 106-110.
Langues : Français (fre)
in science & vie > 1226 (novembre 2019) . - p. 106-110
Catégories : T:technologie:intelligence artificielle Mots-clés : indécidabilité Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité L004421 SCI Périodique Bibliothèque principale Périodique Disponible La logique [Dossier] in Bibliothèque Tangente, 38 (2010)
[article]
Titre : La logique [Dossier] Type de document : texte imprimé Année de publication : 2010 Article en page(s) : 46-70 Langues : Français (fre) Mots-clés : surréalisme réciproque contraposée syllogisme axiomes de Peano diagrammes de Carroll indécidabilité plan d'Argand Résumé : Logique, rhétorique, dialectique, mathématiques... Selon les époques, la logique est l'apanage de la science, ou du langage, ou bien des deux ! Très appréciée pour elle-même par les Anciens dans l'Antiquité, la logique tombe ensuite peu à peu en désuétude. Un mathématicien et auteur à succès, Lewis Carroll, lui rendra ses lettres de noblesse. La crise des fondements, à la fin du XIXe siècle, la met sur le devant de la scène. La philosophie analytique en fait sont outil de prédilection, et Kurt Gödel restera l'homme qui emmena la logique dans des contrées où nul n'avait osé imaginer voyager. Note de contenu : La logique, entre quotidien, mathématiques et philosophie
Paradoxes historiques
Gottlob Frege
Les paradoxes logiques
Lewis Carroll
Les théorèmes d'incomplétudes de Kurt Gödel
Syntaxe et sémantique en logique
in Bibliothèque Tangente > 38 (2010) . - 46-70[article] La logique [Dossier] [texte imprimé] . - 2010 . - 46-70.
Langues : Français (fre)
in Bibliothèque Tangente > 38 (2010) . - 46-70
Mots-clés : surréalisme réciproque contraposée syllogisme axiomes de Peano diagrammes de Carroll indécidabilité plan d'Argand Résumé : Logique, rhétorique, dialectique, mathématiques... Selon les époques, la logique est l'apanage de la science, ou du langage, ou bien des deux ! Très appréciée pour elle-même par les Anciens dans l'Antiquité, la logique tombe ensuite peu à peu en désuétude. Un mathématicien et auteur à succès, Lewis Carroll, lui rendra ses lettres de noblesse. La crise des fondements, à la fin du XIXe siècle, la met sur le devant de la scène. La philosophie analytique en fait sont outil de prédilection, et Kurt Gödel restera l'homme qui emmena la logique dans des contrées où nul n'avait osé imaginer voyager. Note de contenu : La logique, entre quotidien, mathématiques et philosophie
Paradoxes historiques
Gottlob Frege
Les paradoxes logiques
Lewis Carroll
Les théorèmes d'incomplétudes de Kurt Gödel
Syntaxe et sémantique en logiqueRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 6052 51 BIB TAN Périodique-emprunt "long" Bibliothèque principale Périodique Disponible