Cruthú Gödel
Chruthaigh an matamaiticeoir Meiriceánach Kurt Gödel (1906-1978) i 1931 go mbíonn tairiscintí i gcónaí taobh istigh de bhrainse ar bith matamataice nach féidir a chruthú ná a bhréagnú le bunrialacha an bhrainse sin. Thaispeáin sé gur gá dul taobh amuigh den bhrainse ina leithéid de chás agus rialacha nua a leagan amach. Meastar uaidh sin nach féidir ríomhaire a dhéanamh chomh hintleachtach le daoine, de bhrí go mbionn an ríomhaire teoranta d'oiread ar leith rialacha a leagann an dearthóir amach dó, ach gur féidir le daoine coincheapanna is fírinní gan choinne a fháil amach i gcónaí.[1]
Tagairtí
cuir in eagar- ↑ Hussey, Matt (2011). "Cruthú Gödel". Fréamh an Eolais. Coiscéim. p. 326.
| 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. |