scientific article; zbMATH DE number 1027996

From MaRDI portal

Publication:4342007

Jump to:navigation, search

zbMath0872.01030MaRDI QIDQ4342007

Werner DePauli-Schimanovich, P. Weibel

Publication date: 30 June 1997

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

zbMATH Keywords

undecidability Turing machines artificial intelligence cosmology computer science incompleteness logic halting problem Turing computability cognitive science philosophy physics Hilbert's program foundations, proof theory time journeys undecidability problem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4342007&oldid=18316039"