Soviet school of mathematical logic
GPTKB entity
Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:activePeriod |
20th century
|
| gptkbp:contributedTo |
computability theory
model theory proof theory recursion theory algorithmic undecidability |
| gptkbp:countryOfOrigin |
gptkb:Soviet_Union
|
| gptkbp:field |
gptkb:logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Soviet school of mathematical logic
|
| gptkbp:language |
gptkb:Russian
|
| gptkbp:notable_member |
gptkb:Alexander_Kuznetsov
gptkb:Sergei_Adian gptkb:Andrey_Kolmogorov gptkb:Yuri_Matiyasevich gptkb:Nina_Bari gptkb:Pyotr_Novikov Dmitry Sklyarov |
| gptkbp:bfsParent |
gptkb:A._I._Mal'cev
|
| gptkbp:bfsLayer |
8
|