Brainse de loighic mhatamaiticiúil is ea tacartheoiric (nó teoiric na dtacar), a dhéanann staidéar ar thacair; go neamhfhoirmiúil is bailiúcháin de réada iad. Cé gur féidir le réada ar bith a bhailiú i dtacar, is minic a úsáidtear tacartheoiric ar rudaí a bhaineann leis an matamaitic. Is féidir leas a bhaint as teanga na tacartheoirice chun beagnach gach réad matamaitice a shainiú.

Léaráid Venn a léiríonn trasnú dhá thacar .

Chuir Georg Cantor agus Richard Dedekind staidéar nua-aimseartha na tacartheoirice ar bun sna 1870í. Tar éis gur aimsíodh paradacsaí i dtacartheoiric shoineanta, cosúil le paradacsa Russell, moladh go leor córas aicsíme go luath san fhichiú haois, agus is iad na haicsímí Zermelo-Fraenkel, le no gan an rogha aicsím, an ceann is mó clú.

Is iondúil go n-úsáidtear teoiric socraithe mar chóras bunaithe don mhatamaitic, go háirithe i bhfoirm na teoirice Zermelo-Fraenkel leis an rogha aicsím. Taobh amuigh dá ról bunaidh, is brainse matamaitice ann féin í an tacartheoiric, le pobal taighde gníomhach. Cuimsíonn taighde comhaimseartha ar thacartheoiric bailiúchán éagsúil topaicí, a chuimsíon idir struchtúr na réaduimhreach agus go staidéar ar chomhsheasmhacht na mbuanuimhreacha móra.

 
Georg Cantor .

De ghnáth, tagann topaicí matamaitice chun cinn ar dtús, agus forbraítear iad ina dhiaidh sin trí idirghníomhaíochtaí idir go leor taighdeoirí. Bunaíodh tacartheoiric, áfach, nuair a foilsíodh an páipéar aonair; "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen", sa bhliain 1874, scríofa ag Georg Cantor.[1][2]

Bunchoincheapa agus nodaireacht

cuir in eagar

Roinnt ointeolaíochta

cuir in eagar
 
Teascán tosaigh d'ordlathas von Neumann.

Tuilleadh léitheoireachta

cuir in eagar
  • Devlin, Keith (1993), The Joy of Sets (2ú eagarthóireacht), Springer Verlag, ISBN   0-387-94094-4
  • Ferreirós, Jose (2007), Labyrinth na Smaointe: Stair teoirice socraithe agus a ról i matamaitic nua-aimseartha, Basel: Birkhäuser, ISBN   978-3-7643-8349-7
  • Johnson, Philip (1972), Stair Teoirice Socraigh, Prindle, Weber & Schmidt, ISBN   0-87150-154-6
  • Kunen, Kenneth (1980), Set Theory: Réamhrá ar Phromaí Neamhspleáchais, Tuaisceart na hÍsiltíre, ISBN   0-444-85401-0
  • Potter, Michael (2004), Set Theory and its Philosophy: Réamhrá Criticiúil, Oxford University Press
  • Tiles, Mary (2004), Fealsúnacht na Teoirice Socraigh: Réamhrá Stairiúil ar Phadise, Dover Publications, ISBN   978-0-486-43520-6
  • Smullyan, Raymond M .; Feistiú, Melvin (2010), Fadhbanna Teoirice agus Leanúntais, Foilseacháin Dover, ISBN   978-0-486-47484-7
  • Monk, J. Donald (1969), Réamhrá don Teoiric Socraithe, Cuideachta Leabhar McGraw-Hill, ISBN   978-0898740066

Naisc sheachtracha

cuir in eagar
  • Foreman, Matthew, Akihiro Kanamori, eagarthóirí. Lámhleabhar Teoirice Socraigh. 3 voltas, 2010. Déanann gach caibidil suirbhé ar ghné éigin de thaighde comhaimseartha i dteoiric shocraithe. Ní chlúdaíonn sé teoiric bhunaidh bhunaidh bhunaithe, ar a bhfuil Devlin (1993).
  • Hazewinkel, Michiel, ed. (2001) [1994], "teoiric na dtacar axiomatic", Encyclopedia na Matamaitice, Springer Eolaíocht + Business Meáin BV / Kluwer Foilsitheoirí Acadúla, ISBN   978-1-55608-010-4
  • Hazewinkel, Michiel, ed. (2001) [1994], "Set teoiric", Encyclopedia na Matamaitice, Springer Eolaíocht + Business Meáin BV / Kluwer Foilsitheoirí Acadúla, ISBN   978-1-55608-010-4
  • Jech, Thomas (2002). " Teoiric Socraigh ", Stanford Encyclopedia na Fealsúnachta .
  • Schoenflies, Arthur (1898). Mengenlehre i gciclipéid Klein .
  • Leabhair ar líne
  1. Cantor, Georg (1874), "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen", Journal für die reine und angewandte Mathematik (in German), 77: 258–262, doi:10.1515/crll.1874.77.258{{citation}}: CS1 maint: unrecognized language (link)
  2. Johnson, Philip (1972), A History of Set Theory, Prindle, Weber & Schmidt, ISBN 0-87150-154-6