{"entities":{"Q2608913":{"pageid":2619656,"ns":120,"title":"Item:Q2608913","lastrevid":44475894,"modified":"2025-11-23T05:31:57Z","type":"item","id":"Q2608913","labels":{"en":{"language":"en","value":"On computable numbers, with an application to the Entscheidungsproblem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2528678"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2608913$97064DA3-96CD-4671-AD9C-643681E0B156","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b68243603efe2acc565ba981baf1d1325e45903c","datavalue":{"value":{"text":"On computable numbers, with an application to the Entscheidungsproblem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2608913$96C3EA81-56A7-4365-A339-D71F6589F556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fad73e0217d5989dd2e5cd9934d27e8fc77436be","datavalue":{"value":"62.1059.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2608913$11F347FC-1821-4AE6-B4DE-E0BF7CBAFC32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0355dbed6289ee949e5a70974729934b3a9b008","datavalue":{"value":{"entity-type":"item","numeric-id":2593897,"id":"Q2593897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2608913$5E553B5A-DE09-4BEC-BCC8-66859F7B4233","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"569f7eee57c92af30f0779849471ff124ef80fbe","datavalue":{"value":{"entity-type":"item","numeric-id":563364,"id":"Q563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2608913$C6DA72C4-6081-420D-961B-03FCBF673291","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2608913$5681ADFD-1666-493F-9A49-A254C6592EDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d46e2b39e0085289644d33e6102631644d5bf4e9","datavalue":{"value":"Unter einer \\textit{berechenbaren Zahl} versteht Verf. zun\u00e4chst eine reelle Zahl, f\u00fcr die gilt, da\u00df man -- anschaulich gesprochen -- die Ziffern ihrer Dezimaldarstellung sukzessive mit ``endlichen Mitteln'' berechnen kann. Die Analyse des Verhaltens eines Rechners, der diese Berechnung effektiv ausf\u00fchrt, legt dem Verf. eine gewisse strenge Erkl\u00e4rung der Berechenbarkeit nahe: Eine Zahl soll berechenbar hei\u00dfen, wenn sie durch eine zirkelfreie automatische \\textit{Rechenmaschine} berechnet werden kann. Hierbei ist eine derartige Rechenmaschine eine spezielle automatische Maschine, deren genaue Definition vom Verf. gegeben wird. Das Verhalten einer solchen Maschine wird durch eine endliche Tafel gegeben. Hieraus schlie\u00dft man, da\u00df es nur abz\u00e4hlbar viele Maschinen und deshalb auch nur abz\u00e4hlbar viele berechenbare Zahlen geben kann. Berechenbar sind z. B. alle reellen algebraischen Zahlen, die reellen Nullstellen der \\textit{Bessel}funktionen, \\(e\\), \\(\\pi\\). Diese Resultate gewinnt Verf. dadurch, da\u00df er den Hilfsbegriff der berechenbaren Funktion einf\u00fchrt.  Verf. zeigt dann, da\u00df es eine ``Universalmaschine'' \\(U\\) gibt, die dieselbe Zahl berechnet wie irgendeine zirkelfreie Rechenmaschine, falls sie mit der (modifizierten) Tafel der letzteren ``versehen'' wird. -- Mit Hilfe von \\(U\\) und unter Anwendung eines Diagonalverfahrens gelingt der Nachweis, da\u00df es gewisse Maschinen nicht geben kann, u. a. auch keine solche, die f\u00fcr eine beliebige Formel des beschr\u00e4nkten \\textit{Hilbert}schen Funktionenkalk\u00fcls die Ableitbarkeit ``entscheidet''. Hinsichtlich der vom Verf. vorgeschlagenen Definition der ``allgemeinen Methode, gewisse Dinge finit zu entscheiden,'' ist damit die Unl\u00f6sbarkeit des \\textit{Hilbert}schen Entscheidungsproblems gezeigt. In einem Anhang wird die \u00c4quivalenz der \\textit{Turing}schen ``Berechenbarkeit'' mit der \\textit{Church}schen ``effective calculability'' bewiesen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2608913$9E0754E7-8C0B-40D9-906E-7074EE88D66A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f34aabc294ef51c356c5146c15b94a1c85a734f0","datavalue":{"value":"2528678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2608913$3878EE67-9BA0-447C-9478-BB4CA0DDEFB4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2608913$6BDC651F-40E5-425F-8121-5D8321670DAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"944fda5b8ce3f8169a8069b9f698ed93f46d7664","datavalue":{"value":"https://doi.org/10.1112/plms/s2-42.1.230","type":"string"},"datatype":"url"},"type":"statement","id":"Q2608913$068276E1-1EC5-4D9C-A11C-9E537E597AB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8142a2adfd871a396c9ca277c953458f874460ff","datavalue":{"value":"W2126160338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2608913$693359F3-B4B3-42D4-8E8B-40E1890DE251","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b26a1a9ffbd0ea2ded728c5c37ffcc4c85f98dd","datavalue":{"value":"Q25864184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2608913$0382E55F-868B-4062-A3A5-AC9336CC9023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4e4ff7e5a4c615ab3f04646da4807b5f8a80cc5","datavalue":{"value":"10.1112/PLMS/S2-42.1.230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2608913$BA93C3BC-9C61-494B-B5F9-9580C7A2646A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2608913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2608913"}}}}}