28 relasjoner: Addisjon, Aksiom, Alfred Tarski, Avbilding (matematikk), Binær relasjon, Charles S. Peirce, David Hilbert, Delmengde, Embedding, Funksjon (matematikk), George Boole, Giuseppe Peano, Gottlob Frege, Heltall, Hermann Grassmann, Internet Encyclopedia of Philosophy, Latin, Lukning (matematikk), Martin Davis, Matematisk induksjon, Matematisk logikk, Mengdelære, Multiplikasjon, Naturlig tall, New York University, Rekursjon, Richard Dedekind, Tallteori.
Addisjon
Addisjon er en matematisk operasjon som representerer det totale antall objekter i en samling.
Ny!!: Peanos aksiomer og Addisjon · Se mer »
Aksiom
Et aksiom (gresk: ἀξίωμα, aksioma, «grunnsetning») er en grunnsetning som aksepteres uten bevis, enten den er allment akseptert eller den er selvinnlysende sann.
Ny!!: Peanos aksiomer og Aksiom · Se mer »
Alfred Tarski
Alfred Tarski (født 14. januar 1901 (1902 ifølge enkelte kilder) i Warszawa, død 26. oktober 1983 i Berkeley, California) var en polsk logiker og matematiker.
Ny!!: Peanos aksiomer og Alfred Tarski · Se mer »
Avbilding (matematikk)
Avbilding er et begrep benyttet i matematikk.
Ny!!: Peanos aksiomer og Avbilding (matematikk) · Se mer »
Binær relasjon
En binær relasjon, eller en relasjon, er i matematikk en sammenheng mellom to og to objekter i en mengde.
Ny!!: Peanos aksiomer og Binær relasjon · Se mer »
Charles S. Peirce
Charles Sanders Peirce (født 10. september 1839, død 19. april 1914) var en amerikansk matematiker, filosof og logiker.
Ny!!: Peanos aksiomer og Charles S. Peirce · Se mer »
David Hilbert
David Hilbert (født 23. januar 1862 i Königsberg i Øst-Preussen, død 14. februar 1943 i Göttingen) var en tysk matematiker, og professor i Göttingen 1895–1930.
Ny!!: Peanos aksiomer og David Hilbert · Se mer »
Delmengde
I mengdelæren er en mengde A en delmengde av en mengde B hvis og bare hvis alle elementer av A også er elementer av B. Motsatt kan man si at B er en overmengde av A, som er ekvalient med å si at B inkluderer A. I symboler skriver vi A\subseteq B. A er en ekte delmengde av B hvis og bare hvis A er en delmengde av B, og A \neq B Dette symboliseres slik: A\subset B. Dersom vi har tre mengder, A, B og C, slik som vist nedenfor, vil følgende utsagn være sanne.
Ny!!: Peanos aksiomer og Delmengde · Se mer »
Embedding
Innen matematikk er en embedding en funksjon som definerer en relasjon mellom en mengde X og en delmengde Y. Dersom en slik funksjon finnes, sier man at X er embeddet i Y. Embeddinger er isomorfier som bevarer visse egenskaper, avhengig av sammenhengen og hvilke matematiske strukturer X og Y representerer.
Ny!!: Peanos aksiomer og Embedding · Se mer »
Funksjon (matematikk)
En funksjon f tar inn x og produserer f(x), her sammenlignet med en maskin som gjør om data I matematikk er en funksjon en relasjon mellom to mengder, slik at det til ethvert element i den første mengden (funksjonsargument, uavhengig variabel, x-verdi) blir tilordnet ett element i den andre mengden (funksjonsverdi, avhengig variabel, y-verdi).
Ny!!: Peanos aksiomer og Funksjon (matematikk) · Se mer »
George Boole
George Boole (født 2. november 1815 i Lincoln i England, død 8. desember 1864 i Ballintemple i County Cork i Irland) var en engelsk matematiker og filosof.
Ny!!: Peanos aksiomer og George Boole · Se mer »
Giuseppe Peano
Giuseppe Peano (italiensk) (født 27. august 1858, død 20. april 1932) var en italiensk matematiker.
Ny!!: Peanos aksiomer og Giuseppe Peano · Se mer »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (født 8. november 1848 i Wismar i Tyskland, død 26. juli 1925 i Bad Kleinen i Tyskland) var en tysk matematiker, logiker og filosof, som anses som en av opphavsmennene til matematisk logikk og analytisk filosofi.
Ny!!: Peanos aksiomer og Gottlob Frege · Se mer »
Heltall
Et heltall er et tall i mengden.
Ny!!: Peanos aksiomer og Heltall · Se mer »
Hermann Grassmann
Hermann Günther Grassmann (født 15. april 1809 i Stettin, død 26. september 1877 samme sted) var en tysk matematiker og lingvist.
Ny!!: Peanos aksiomer og Hermann Grassmann · Se mer »
Internet Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy (IEP) er et gratis filosofileksikon på nettet som ble grunnlagt av James Fieser i 1995.
Ny!!: Peanos aksiomer og Internet Encyclopedia of Philosophy · Se mer »
Latin
Latin er et indoeuropeisk språk i den italiske gruppen, og opprinnelig dialekten i det antikke Latium (Roma med omegn) som senere ble helt dominerende i den vestlige del av Romerriket.
Ny!!: Peanos aksiomer og Latin · Se mer »
Lukning (matematikk)
En mengde er lukket under en operasjon hvis utførelse av operasjonen på elementer i mengden alltid gir som resultat et element i den samme mengden.
Ny!!: Peanos aksiomer og Lukning (matematikk) · Se mer »
Martin Davis
Martin David Davis (født 8. mars 1928 i New York City, død 1. januar 2023) var en amerikansk matematiker, kjent for sitt arbeid med Hilberts tiende problem.
Ny!!: Peanos aksiomer og Martin Davis · Se mer »
Matematisk induksjon
Matematisk induksjon er et logisk prinsipp i matematikk som kan brukes for å bevise påstander indeksert av naturlige tall.
Ny!!: Peanos aksiomer og Matematisk induksjon · Se mer »
Matematisk logikk
Matematisk logikk er et begrep som kan brukes i flere, noe ulike betydninger.
Ny!!: Peanos aksiomer og Matematisk logikk · Se mer »
Mengdelære
Mengdelære er den matematiske teorien om mengder, som representerer samlinger av abstrakte objekter.
Ny!!: Peanos aksiomer og Mengdelære · Se mer »
Multiplikasjon
Multiplikasjon eller ganging er en av de fire grunnleggende regneartene (operasjonene) innenfor aritmetikken.
Ny!!: Peanos aksiomer og Multiplikasjon · Se mer »
Naturlig tall
Et naturlig tall er i matematikken enten et positivt heltall (1, 2, 3,...) eller ikkenegativt heltall (0, 1, 2,...). Den første definisjonen brukes oftest i tallteorien mens den siste brukes innenfor predikatlogikk, mengdelære og datateknologi.
Ny!!: Peanos aksiomer og Naturlig tall · Se mer »
New York University
NYU Bobst Library. New York University (NYU) er et privat, ikke-kommersielt forskningsbasert universitet i New York i USA.
Ny!!: Peanos aksiomer og New York University · Se mer »
Rekursjon
Rekursjon er (periodisk) gjentakelse, det vil si at noe gjentar seg eller vender tilbake.
Ny!!: Peanos aksiomer og Rekursjon · Se mer »
Richard Dedekind
Julius Wilhelm Richard Dedekind (født 6. oktober 1831, død 12. februar 1916) var en tysk matematiker som gjorde viktige oppdagelser i abstrakt algebra, algebraisk tallteori og i forbindelse med grunnlaget for de reelle tallene.
Ny!!: Peanos aksiomer og Richard Dedekind · Se mer »
Tallteori
Tallteori er en gren av ren matematikk, og kan beskrives som læren om de naturlige tallene (1, 2, 3, 4, 5,...). Når vi snakker om tall i tallteori er det altså de naturlige tallene vi mener.
Ny!!: Peanos aksiomer og Tallteori · Se mer »
Omdirigeringer her:
Dedekind-Peano-aksiomene, Peano-postulatene.