Loighic mhatamaiticiúil
Cur i bhfeidhm an chruinnis mhatamaiticiúil is teicníochtaí siombalacha i staidéar na loighce.
Mar shampla, forbairt na dteangacha foirmiúla is na gcóras aicsímí chun cruthuithe loighciúla a thógáil. Tugtar loighic shiombalach uirthi freisin.
Bunaíodh an t-ábhar ar shaothar Boole, agus ina dhiaidh sin saothar Frege, Whitehead is Russell, Gödel, is Tarski.[1]
Tagairtí
- ↑ Hussey, Matt (2011). "Loighic mhatamaiticiúil". Fréamh an Eolais. Coiscéim. p. 416.
 | Tá an t-alt seo bunaithe ar ábhar as Fréamh an Eolais, ciclipéid eolaíochta agus teicneolaíochta leis an Ollamh Matthew Hussey, foilsithe ag Coiscéim sa bhliain 2011. Tá comhluadar na Vicipéide go mór faoi chomaoin acu beirt as ucht cead a thabhairt an t-ábhar ón leabhar a roinnt linn go léir. |
 | Is síol é an t-alt seo. Cuir leis, chun cuidiú leis an Vicipéid. Má tá alt níos forbartha le fáil i dteanga eile, is féidir leat aistriúchán Gaeilge a dhéanamh. |