From Wikipedia, the free encyclopedia
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ú.
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.
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]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.