Matematisk logik

Från Wikipedia
Logik, Formellt system
Logiska system

Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik.

Se även[redigera | redigera wikitext]

Externa länkar[redigera | redigera wikitext]