``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (Q2097064)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment |
scientific article |
Statements
``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (English)
0 references
11 November 2022
0 references
the finitist standpoint
0 references
consistency proof through reduction methods
0 references
accessibility proof of order structure
0 references
modulus of finiteness functional
0 references
universe of mechanisms
0 references
0 references
