Gödelova logika - Gödel logic
v matematická logika, a Gödelova logika prvního řádu je členem rodiny konečný- nebo logiky s nekonečnou hodnotou ve kterém množiny pravdivostní hodnoty PROTI jsou uzavřené podmnožiny intervalu [0,1] obsahující 0 i 1. Různé takové množiny PROTI obecně určují různé Gödelovy logiky. Pojem je pojmenován po Kurt Gödel.[1]
Reference
- ^ Logika prvního řádu Gödel Autoři: Matthias Baaz, Norbert Preining, Richard Zach.
![]() | Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |