scientific article; zbMATH DE number 3193733

zbMath0119.01301MaRDI QIDQ5730129

Hans Hermes

Publication date: 1961

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical logic

Related Items (11)

[https://portal.mardi4nfdi.de/wiki/Publication:5581622 Eine Bemerkung zum Begriff der zuf�lligen Folge] ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:5587565 Klassifikation der Zufallsgesetze nach Komplexit�t und Ordnung] ⋮ Castor quadruplorum ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:5617399 �ber die Definition von effektiven Zufallstests] ⋮ Informational properties of neural nets performing algorithmic and logical tasks ⋮ λ-definierbare Funktionen auf Peanoalgebren ⋮ Recursive analysis of singular ordinary differential equations ⋮ Definierbare Funktionen imλ-Kalkül mit Typen ⋮ Consistency proof without transfinite induction for a formal system for turing machines ⋮ Multiplikation großer Zahlen ⋮ The Developments of the Concept of Machine Computability from 1936 to the 1960s

This page was built for publication: