×

Found 20 Documents (Results 1–20)

100
MathJax

\(K\)-graph machines: Generalizing Turing’s machines and arguments. (English) Zbl 0856.03032

Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 98-119 (1996).
MSC:  03D10
PDF BibTeX XML Cite

Mathematics and metamathematic from the congress of Paris (1900) to the congress of Nice (1970): Real numbers and model theory in the works of Tarski. (Mathématiques et métamathématique du congrès de Paris (1900) au congrès de Nice (1970): Nombres réels et théorie des modèles dans les travaux de Tarski.) (French) Zbl 0893.01004

Bottazzini, Umberto (ed.), Studies in the history of modern mathematics. II. Palermo: Circolo Matemàtico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 44, 113-132 (1996).
MSC:  01A60 00A30 03-03
PDF BibTeX XML Cite

Hans Hahn and the foundational debate. (English) Zbl 0973.01029

DePauli-Schimanovich, Werner (ed.) et al., The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994. Dordrecht: Kluwer Academic Publishers. Vienna Circ. Inst. Yearb. 3, 235-245 (1995).
MSC:  01A60 00A30
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification