Lògica matemàtica: diferència entre les revisions
Contingut suprimit Contingut afegit
m espais als encapçalaments de Vegeu també |
m bot: - com ''lògica + com a ''lògica |
||
Línia 4:
Es pot entendre com la ''matemàtica de la lògica'', ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament.
Anteriorment la lògica matemàtica es coneixia com a ''lògica simbòlica'' i ''metamatemàtica'' que ara són termes restringits a determinats aspectes de la teoria de la prova.
Van ser [[George Boole]] i [[Augustus De Morgan]], durant el segle XIX, els que van sistematitzar matemàticament la lògica, per això van haver de reformar i completar la lògica tradicional aristotèlica.
| |||