Get started
Author

Michael Deutsch

Observed names: Deutsch, Michael, M. Deutsch, Michael von Deutsch
Institution: McGill University
ORCID: 0009-0002-9738-652X
Observed ORCID: 0009-0002-9738-652X
OpenAlex ID: A5043773439
When Wrong is Right: The Instructional Power of Multiple Conceptions
2021 · Lauren Margulieux, Paul Denny, et al. · ACM Conference on International Computing Education Research (ICER) · 29
Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1)
1986 · Michael Deutsch · Mathematical logic quarterly · 7
Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen
1974 · Michael Deutsch · Mathematical logic quarterly · 6
Zur Reduktionstheorie Des Entscheidungsproblems
1981 · Michael Deutsch · Mathematical logic quarterly · 5
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen
1980 · Michael Deutsch · Mathematical logic quarterly · 5
Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten
1987 · Michael Deutsch · Mathematical logic quarterly · 4
Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe
1975 · Michael Deutsch · Archive for Mathematical Logic · 4
Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors
1975 · Michael Deutsch · Mathematical logic quarterly · 4
Zur Benutzung der Verkettung als Basis für die Arithmetik
1975 · Michael Deutsch · Mathematical logic quarterly · 4
Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1)
1987 · Michael Deutsch · Mathematical logic quarterly · 3
Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen
1982 · Michael Deutsch · Mathematical logic quarterly · 2
Registermaschinen Über Quotiententermmengen
1981 · Michael von Deutsch · Mathematical logic quarterly · 2
Ein Neuer Beweis Und Eine Verschärfung Für Den Reduktionstyp ∀∃∀∞(0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten
1992 · Michael Deutsch, M. Deutsch · Mathematical logic quarterly · 1
Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1)
1988 · Michael Deutsch · Mathematical logic quarterly · 1
Reductions for the satisfiability with a simple interpretation of the predicate variable
1984 · Michael Deutsch · Lecture notes in computer science · 1
Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik
1977 · Michael Deutsch · Mathematical logic quarterly · 1
Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate
1976 · Michael Deutsch · Mathematical logic quarterly · 1
Logic. Spanish edition: Lógica : conceptos clave en filosofía 1st edition
2008 · Laurence Goldstein, Anne Brennan, et al. · Kent Academic Repository (University of Kent)
Logic (London, Continuum Press, 2005), Expanded Portuguese edition: lógica: conceitos – chave em filosofia
2007 · Laurence Goldstein, Anne Brennan, et al. · Kent Academic Repository (University of Kent)
Supplement to the contribution:"A simpler proof and a refining of Gödel's second imcompleteness theorem"
2007 · Michael Deutsch · State and University Library Bremen
Die Gödelschen Unvollständigkeitstheoreme mit der Verkettungsfunktion statt Addition und Multiplikation
2007 · Deutsch, Michael · State and University Library Bremen
Gödels incompleteness theorems with concatenation instead of addition and multiplication
2007 · Deutsch, Michael · State and University Library Bremen
A simpler proof and a refining of Gödel's second incompleteness theorem
2007 · Deutsch, Michael · State and University Library Bremen
Ein einfacher Beweis und eine Verschärfung des zweiten Gödelschen Unvollständigkeitstheorems
2007 · Michael Deutsch · State and University Library Bremen
A Note on the Theorems of Church‐Turing and Trachtenbrot
1994 · Michael Deutsch · Mathematical logic quarterly
Works count: 33
Citation count: 81
H-index: 5
I10-index: 1
Year
Topic
Type