Matematisk logik
Wikipedia
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 som kontrast till Filosofisk logik.
Se även:
- Logik
- Filosofisk logik
- Boolesk algebra
- Suddig logik (fuzzy logic)
- Matematikfilosofi