17 les relacions: Bergen, Egipte, Estats Units d'Amèrica, Forma normal de Skolem, Funcions recursives primitives, Lògica matemàtica, Llum zodiacal, Matemàtic, Noruec, Oslo, Paradoxa de Skolem, Primera Guerra Mundial, Sudan, Teoria de conjunts, Teoria de models, Universitat Georg-August de Göttingen, ZFC.
Bergen
Bergen és una ciutat i municipi de Noruega, capital del comtat de Hordaland i segona ciutat més gran de Noruega amb una població de 254.235 habitants (2017).
Nou!!: Thoralf Skolem і Bergen · Veure més »
Egipte
Egipte ((sahídic) o (bohàiric); egipci antic: Kemet), oficialment República Àrab d'Egipte, és un estat de l'Àfrica nord-oriental.
Nou!!: Thoralf Skolem і Egipte · Veure més »
Estats Units d'Amèrica
Els Estats Units d'Amèrica (anglès: United States of America) són una república federal i constitucional integrada per 50 estats i un districte federal.
Nou!!: Thoralf Skolem і Estats Units d'Amèrica · Veure més »
Forma normal de Skolem
En lògica matemàtica, la reducció a la forma normal de Skolem (FNS) és un mètode per eliminar els quantificadors existencials dels enunciats de lògica, i sovint aquest és un primer pas en la demostració automàtica de teoremes.
Nou!!: Thoralf Skolem і Forma normal de Skolem · Veure més »
Funcions recursives primitives
Les funcions recursives primitives es defineixen usant com a operacions principals la recursió i la composició i formen un subconjunt estricte de les funcions recursives, que són les funcions computables.
Nou!!: Thoralf Skolem і Funcions recursives primitives · Veure més »
Lògica matemàtica
La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.
Nou!!: Thoralf Skolem і Lògica matemàtica · Veure més »
Llum zodiacal
Llum zodiacal. La llum zodiacal (o també pols zodiacal) és una llum dèbil, de forma gairebé triangular, que es pot veure al cel nocturn, estenent-se al llarg del pla de l'eclíptica on hi ha les constel·lacions del zodíac.
Nou!!: Thoralf Skolem і Llum zodiacal · Veure més »
Matemàtic
Leonhard Euler (1707-1783) és àmpliament considerat un dels matemàtics més importants de la història. Representació anacrònica d'Hipàcia en el mural feminista de Gandia Un/a matemàtic/a és una persona l'àrea primària d'estudi i investigació de la qual és la matemàtica.
Nou!!: Thoralf Skolem і Matemàtic · Veure més »
Noruec
El noruec és una llengua parlada a Noruega.
Nou!!: Thoralf Skolem і Noruec · Veure més »
Oslo
Oslo, antigament anomenada Christiania i Kristiania, i històricament coneguda en català com a Cristiania, és un municipi i ciutat de Noruega, capital i la ciutat més poblada del país.
Nou!!: Thoralf Skolem і Oslo · Veure més »
Paradoxa de Skolem
La paradoxa de Skolem és una paradoxa que apareix a teoria de conjunts i lògica com a conseqüència paradoxal del teorema de Löwenheim-Skolem.
Nou!!: Thoralf Skolem і Paradoxa de Skolem · Veure més »
Primera Guerra Mundial
La Primera Guerra mundial o la Gran Guerra fou un conflicte bèl·lic que va tenir lloc a Europa i al Pròxim Orient entre 1914 i 1918.
Nou!!: Thoralf Skolem і Primera Guerra Mundial · Veure més »
Sudan
El Sudan, oficialment República del Sudan és un estat sobirà de la part nord-oriental de l'Àfrica.
Nou!!: Thoralf Skolem і Sudan · Veure més »
Teoria de conjunts
La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.
Nou!!: Thoralf Skolem і Teoria de conjunts · Veure més »
Teoria de models
La teoria de models és la branca de la matemàtica que estudia les estructures matemàtiques, com ara els grups, els cossos, els grafs o àdhuc els models de la teoria de conjunts, amb les eines de la lògica matemàtica.
Nou!!: Thoralf Skolem і Teoria de models · Veure més »
Universitat Georg-August de Göttingen
Universitat de Göttingen La Universitat de Göttingen (Georg-August-Universität Göttingen, o Geòrgia Augusta) va ser fundada l'any 1734 per Jordi II, príncep elector de Hannover i rei de la Gran Bretanya.
Nou!!: Thoralf Skolem і Universitat Georg-August de Göttingen · Veure més »
ZFC
La Teoria de conjunts de Zermelo-Fraenkel (ZFC) és el conjunt d'axiomes canònic de la teoria de conjunts.
Nou!!: Thoralf Skolem і ZFC · Veure més »