Rhesymeg Mathemateg

Mae ganddo gysylltiadau agos â metamathemateg, sylfaen y pwnc, a gwyddor gyfrifiadurol damcaniaethol. Mae'r themâu unedig mewn rhesymeg fathemategol yn cynnwys astudiaeth o bŵer mynegiannol systemau ffurfiol a phŵer systemau prawf ffurfiol.

Rhennir rhesymeg fathemategol yn aml i'r meysydd canlynol: theori set, theori model, theori dychweliadol (recursion theory) a theori prawf. Mae'r meysydd hyn yn rhannu canlyniadau sylfaenol, yn enwedig 'rhesymeg trefn un' (first-order logic), a diffiniadaeth (definability). Mewn gwyddoniaeth gyfrifiadurol (yn enwedig yn y Dosbarthiad ACM) mae rhesymeg fathemategol yn cwmpasu pynciau ychwanegol nad ydynt wedi'u manylu yn yr erthygl hon.

Ers ei sefydlu, mae rhesymeg fathemategol wedi cyfrannu at, ac wedi cael ei ysgogi gan, yr astudiaeth o fathemateg craidd - seiliau mathemateg. Dechreuodd yr astudiaeth hon ddiwedd y 19g gyda datblygu fframweithiau gwirebol ar gyfer geometreg, rhifyddeg a dadansoddiad. Yn gynnar yn yr 20g fe'i datblygwyd gan raglen David Hilbert i brofi cysondeb theorïau craidd hyn. Roedd canlyniadau Kurt Gödel, Gerhard Gentzen, ac eraill yn rhoi datrysiad rhannol i'r rhaglen, gan egluro'r materion sy'n gysylltiedig â dangos cysondeb.