Accès plus rapide que le navigateur!
63 relations: Académie norvégienne des sciences et des lettres, Addition, Algèbre générale, Aurore polaire, Automorphisme, Axel Thue, Axiome du choix, Axiomes de Peano, Électron, Équation diophantienne, États-Unis, Bergen (Norvège), Botanique, Calcul des prédicats, Charles Sanders Peirce, Chimie, Complétude (logique), David Hilbert, Décidabilité, Directeur de thèse, Emmy Noether, Entier naturel, Ernst Schröder, Finitisme, Fonction récursive, Fonction récursive primitive, Fundamenta Mathematicae, Giuseppe Peano, Infini, Informatique théorique, Kristian Birkeland, Kurt Gödel, Langage de programmation, Lemme de König, Leopold Löwenheim, Logique, Logique mathématique, Lumière zodiacale, Mathématicien, Modèle non standard de l'arithmétique, Mojżesz Presburger, Multiplication, Nombre premier, Norvège, Oslo, Paradoxe de Skolem, Physique, Principes de logique théorique, Principia Mathematica, Skolémisation, ..., Suite de Skolem, Théorème de Löwenheim-Skolem, Théorème de Skolem-Mahler-Lech, Théorème de Skolem-Noether, Théorie des ensembles, Théorie des groupes, Théorie des modèles, Théorie des nombres, Treillis (ensemble ordonné), Université d'Oslo, Université de Göttingen, Wilhelm Ackermann, Zoologie. Développer l'indice (13 plus) »
Académie norvégienne des sciences et des lettres
L'Académie norvégienne des sciences et des lettres (en norvégien: « Det Norske Videnskaps-Akademi ») a été fondée en 1857, à Oslo, dans le but de « faire progresser la science et l'érudition en Norvège ».
Nouveau!!: Thoralf Skolem et Académie norvégienne des sciences et des lettres · Voir plus »
Addition
L'addition est une opération élémentaire, permettant notamment de décrire la réunion de quantités ou l'adjonction de grandeurs extensives de même nature, comme les longueurs, les aires, ou les volumes.
Nouveau!!: Thoralf Skolem et Addition · Voir plus »
Algèbre générale
L'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations.
Nouveau!!: Thoralf Skolem et Algèbre générale · Voir plus »
Aurore polaire
Aurore australe en Antarctique. Aurore australe depuis la navette ''Discovery''. Une aurore polaire, également appelée « aurore boréale » dans l'hémisphère nord et « aurore australe » dans l'hémisphère sud, autrefois « lumières du nord », est un phénomène lumineux atmosphérique caractérisé par des voiles extrêmement colorés dans le ciel nocturne, le vert étant prédominant.
Nouveau!!: Thoralf Skolem et Aurore polaire · Voir plus »
Automorphisme
Un automorphisme est un isomorphisme d'un objet mathématique X dans lui-même.
Nouveau!!: Thoralf Skolem et Automorphisme · Voir plus »
Axel Thue
Axel Thue (1863-1922) est un mathématicien norvégien, connu pour ses contributions à la combinatoire, aux grammaires formelles et ses travaux en théorie des nombres (approximation diophantienne, équation diophantienne).
Nouveau!!: Thoralf Skolem et Axel Thue · Voir plus »
Axiome du choix
Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.
Nouveau!!: Thoralf Skolem et Axiome du choix · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Thoralf Skolem et Axiomes de Peano · Voir plus »
Électron
L'électron, un des composants de l'atome avec les neutrons et les protons, est une particule élémentaire qui possède une charge élémentaire de signe négatif.
Nouveau!!: Thoralf Skolem et Électron · Voir plus »
Équation diophantienne
Arithmétiques'' de Diophante. Une équation diophantienne, en mathématiques, est une équation polynomiale à une ou plusieurs inconnues dont les solutions sont cherchées parmi les nombres entiers, éventuellement rationnels, les coefficients étant eux-mêmes également entiers.
Nouveau!!: Thoralf Skolem et Équation diophantienne · Voir plus »
États-Unis
Les États-Unis (prononcé), en forme longue les États-Unis d'AmériqueComme la plupart des pays, les États-Unis ont un nom « court » pour l'usage courant, pédagogique et cartographique, et un nom « long » pour l'usage officiel.
Nouveau!!: Thoralf Skolem et États-Unis · Voir plus »
Bergen (Norvège)
Lille Lungegårdsvannet au premier plan à gauche. Vågen à droite. Le Puddefjord au second plan Vågsallmenningen Torget Bergen est une ville du sud-ouest de la Norvège, capitale du comté de Vestland.
Nouveau!!: Thoralf Skolem et Bergen (Norvège) · Voir plus »
Botanique
La botanique (du grec, féminin du mot, « qui concerne les herbes, les plantes »), nommée auparavant phytologie (du grec, « plante », et, « étude »), est la science qui a pour objet l'étude des végétaux.
Nouveau!!: Thoralf Skolem et Botanique · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Thoralf Skolem et Calcul des prédicats · Voir plus »
Charles Sanders Peirce
Charles Sanders Peirce, né le à Cambridge dans le Massachusetts et mort le à Milford en Pennsylvanie, est un sémiologue et philosophe américain.
Nouveau!!: Thoralf Skolem et Charles Sanders Peirce · Voir plus »
Chimie
La chimie est une science de la nature qui étudie la matière et ses transformations, et plus précisément les atomes, les molécules, les réactions chimiques et les forces qui favorisent les réactions chimiques.
Nouveau!!: Thoralf Skolem et Chimie · Voir plus »
Complétude (logique)
En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes; autrement, le système est dit incomplet.
Nouveau!!: Thoralf Skolem et Complétude (logique) · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Thoralf Skolem et David Hilbert · Voir plus »
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Nouveau!!: Thoralf Skolem et Décidabilité · Voir plus »
Directeur de thèse
Un directeur de thèse ou une directrice de thèse est une personne, généralement chercheuse ou enseignante-chercheuse, qui supervise le travail d'un doctorant.
Nouveau!!: Thoralf Skolem et Directeur de thèse · Voir plus »
Emmy Noether
Amalie Emmy Noether (–) est une mathématicienne allemande spécialiste d'algèbre abstraite et de physique théorique.
Nouveau!!: Thoralf Skolem et Emmy Noether · Voir plus »
Entier naturel
En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).
Nouveau!!: Thoralf Skolem et Entier naturel · Voir plus »
Ernst Schröder
Ernst Schröder (1841-1902) est un mathématicien allemand.
Nouveau!!: Thoralf Skolem et Ernst Schröder · Voir plus »
Finitisme
Le finitisme est une philosophie des mathématiques qui ne prend en considération que les objets mathématiques finis.
Nouveau!!: Thoralf Skolem et Finitisme · Voir plus »
Fonction récursive
En informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.
Nouveau!!: Thoralf Skolem et Fonction récursive · Voir plus »
Fonction récursive primitive
En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas de récursion primitive (ou bornée) et de composition.
Nouveau!!: Thoralf Skolem et Fonction récursive primitive · Voir plus »
Fundamenta Mathematicae
Fundamenta Mathematicae (abrégé en Fund. Math.) est une revue de mathématiques publiée par l'académie polonaise des sciences.
Nouveau!!: Thoralf Skolem et Fundamenta Mathematicae · Voir plus »
Giuseppe Peano
Giuseppe Peano (Spinetta di Cuneo (Coni), - Cavoretto, près de Turin) est un mathématicien et linguiste italien. Pionnier de l’approche formaliste des mathématiques, il développa, parallèlement à l’Allemand Richard Dedekind, une axiomatisation de l'arithmétique (1889). Il est par ailleurs l’inventeur d'une langue auxiliaire internationale, le Latino sine flexione (LsF) (le latin sans déclinaisons) en 1903. Il fut membre du comité qui créa la délégation pour l'adoption d'une langue auxiliaire internationale.
Nouveau!!: Thoralf Skolem et Giuseppe Peano · Voir plus »
Infini
symbole infini. Le mot « infini » (-e, -s) est un adjectif servant à qualifier quelque chose qui n'a pas de limite en nombre ou en taille.
Nouveau!!: Thoralf Skolem et Infini · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Thoralf Skolem et Informatique théorique · Voir plus »
Kristian Birkeland
Olaf Christian Bernhard Birkeland (-), qui signait toujours Kristian Birkeland, est un physicien norvégien qui s'intéressa au vent solaire et expliqua le mécanisme des aurores polaires.
Nouveau!!: Thoralf Skolem et Kristian Birkeland · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Thoralf Skolem et Kurt Gödel · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Thoralf Skolem et Langage de programmation · Voir plus »
Lemme de König
Tout arbre infini à branchement fini a une branche infinie. En mathématiques, le lemme de Kőnig est un lemme de la théorie des graphes que l'on doit au mathématicien hongrois Dénes Kőnig en 1927.
Nouveau!!: Thoralf Skolem et Lemme de König · Voir plus »
Leopold Löwenheim
Leopold Löwenheim, né le à Krefeld, en province de Rhénanie et mort le à Berlin, est un mathématicien allemand, connu pour ses travaux en logique mathématique.
Nouveau!!: Thoralf Skolem et Leopold Löwenheim · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Thoralf Skolem et Logique · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Thoralf Skolem et Logique mathématique · Voir plus »
Lumière zodiacale
Lumière zodiacale, vue de l'observatoire du Cerro Paranal, Chili. La lumière zodiacale est une faible lueur de forme vaguement triangulaire visible sur le ciel nocturne et qui s'étend le long de l'axe du Soleil sur le plan de l'écliptique (et donc du zodiaque, qui lui a donné son nom).
Nouveau!!: Thoralf Skolem et Lumière zodiacale · Voir plus »
Mathématicien
Carl Friedrich Gauss, aussi appelé « prince des mathématiciens ». Emmy Noether Un mathématicien ou une mathématicienne est au sens restreint un chercheur ou une chercheuse en mathématiques, par extension toute personne faisant des mathématiques la base de son activité principale.
Nouveau!!: Thoralf Skolem et Mathématicien · Voir plus »
Modèle non standard de l'arithmétique
En logique mathématique, un modèle non standard de l'arithmétique est un modèle non standard de l'arithmétique de Peano, qui contient des nombres non standards.
Nouveau!!: Thoralf Skolem et Modèle non standard de l'arithmétique · Voir plus »
Mojżesz Presburger
Mojżesz Presburger (1904 - 1943) est un mathématicien polonais, logicien et philosophe.
Nouveau!!: Thoralf Skolem et Mojżesz Presburger · Voir plus »
Multiplication
La multiplication de 4 par 3 donne le même résultat que la multiplication de 3 par 4. La multiplication est l'une des quatre opérations de l'arithmétique élémentaire avec l'addition, la soustraction et la division.
Nouveau!!: Thoralf Skolem et Multiplication · Voir plus »
Nombre premier
Entiers naturels de zéro à cent. Les nombres premiers sont marqués en rouge. 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs.
Nouveau!!: Thoralf Skolem et Nombre premier · Voir plus »
Norvège
La Norvège (—), en forme longue le royaume de Norvège (en bokmål: — en nynorsk), est un pays d'Europe du Nord.
Nouveau!!: Thoralf Skolem et Norvège · Voir plus »
Oslo
Oslo est la capitale de la Norvège.
Nouveau!!: Thoralf Skolem et Oslo · Voir plus »
Paradoxe de Skolem
En logique mathématique et en philosophie analytique, le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim-Skolem en théorie des ensembles.
Nouveau!!: Thoralf Skolem et Paradoxe de Skolem · Voir plus »
Physique
La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.
Nouveau!!: Thoralf Skolem et Physique · Voir plus »
Principes de logique théorique
Les Principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert.
Nouveau!!: Thoralf Skolem et Principes de logique théorique · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Thoralf Skolem et Principia Mathematica · Voir plus »
Skolémisation
En logique mathématique, la skolémisation d'une formule du calcul des prédicats est une transformation de cette formule, qui, dans le cas d'une forme prénexe, consiste à éliminer toutes les occurrences de quantificateur existentiel en utilisant de nouveaux symboles de fonction (un par quantification existentielle), tout en conservant la satisfaisabilité de la formule.
Nouveau!!: Thoralf Skolem et Skolémisation · Voir plus »
Suite de Skolem
Une suite de Skolem d’ordre n est une suite de 2n entiers, constituée des entiers de 1 à n répétés chacun deux fois, les deux occurrences d'un entier k étant distantes de k. Une suite de Langford en est la variante où les occurrences de k sont distantes de k+1.
Nouveau!!: Thoralf Skolem et Suite de Skolem · Voir plus »
Théorème de Löwenheim-Skolem
En théorie des modèles, le théorème de Löwenheim-Skolem, énoncé par Leopold Löwenheim en 1915 et démontré entièrement en 1920 par Thoralf Skolem, établit que si un ensemble de formules closes de la logique du premier ordre admet un modèle infini, alors il admet un modèle de n'importe quelle cardinalité infinie supérieure ou égale au cardinal du langage et de l'ensemble de formules.
Nouveau!!: Thoralf Skolem et Théorème de Löwenheim-Skolem · Voir plus »
Théorème de Skolem-Mahler-Lech
En théorie additive des nombres, le théorème de Skolem-Mahler-Lech déclare que si une suite de nombres est engendrée par une relation de récurrence linéaire, alors, avec des exceptions finies, les positions auxquelles la suite est nulle forment un motif qui se répète.
Nouveau!!: Thoralf Skolem et Théorème de Skolem-Mahler-Lech · Voir plus »
Théorème de Skolem-Noether
En théorie des anneaux, une branche des mathématiques, le théorème de Skolem–Noether caractérise les automorphismes des anneaux simples.
Nouveau!!: Thoralf Skolem et Théorème de Skolem-Noether · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Thoralf Skolem et Théorie des ensembles · Voir plus »
Théorie des groupes
groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes.
Nouveau!!: Thoralf Skolem et Théorie des groupes · Voir plus »
Théorie des modèles
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures.
Nouveau!!: Thoralf Skolem et Théorie des modèles · Voir plus »
Théorie des nombres
Traditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs).
Nouveau!!: Thoralf Skolem et Théorie des nombres · Voir plus »
Treillis (ensemble ordonné)
En mathématiques, un treillis est une des structures algébriques utilisées en algèbre générale.
Nouveau!!: Thoralf Skolem et Treillis (ensemble ordonné) · Voir plus »
Université d'Oslo
L'université d'Oslo (en norvégien, Universitetet i Oslo, UiO) est une université norvégienne, à Oslo.
Nouveau!!: Thoralf Skolem et Université d'Oslo · Voir plus »
Université de Göttingen
L’université Georg-August de Göttingen — en allemand Georg-August-Universität Göttingen, est une des plus célèbres universités allemandes, dont sont issus notamment des mathématiciens de grand renom.
Nouveau!!: Thoralf Skolem et Université de Göttingen · Voir plus »
Wilhelm Ackermann
Wilhelm Ackermann (1896-1962) est un mathématicien allemand, célèbre pour la fonction d'Ackermann (1925) qui est un exemple important de la théorie de la calculabilité.
Nouveau!!: Thoralf Skolem et Wilhelm Ackermann · Voir plus »
Zoologie
La zoologie (terme issu du grec ancien:, « animal », et, « discours ») est la science qui étudie les animaux.
Nouveau!!: Thoralf Skolem et Zoologie · Voir plus »
