{"entities":{"Q1308644":{"pageid":1319394,"ns":120,"title":"Item:Q1308644","lastrevid":67518192,"modified":"2026-04-12T18:32:53Z","type":"item","id":"Q1308644","labels":{"en":{"language":"en","value":"Computability. Recursive and programmable functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 464503"}},"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":"Q1308644$5D708B00-A9D6-459B-B071-B6E2A78E7D45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c6d5189cfd1064a49c782c65f70d96cdbc8329e","datavalue":{"value":{"text":"Computability. Recursive and programmable functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1308644$C1DEA1B6-38E2-4723-974B-CB631F0F6658","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73f992aca068d3ff90f56392b5e3c97e2c22f1d7","datavalue":{"value":"0824.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308644$6E7094C7-1441-4C05-BF75-A4E6B3FBA83D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7037365ea7a82807e50e341e920a8fe3ca6fa7","datavalue":{"value":{"entity-type":"item","numeric-id":768533,"id":"Q768533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308644$E8CA3741-4203-447F-B851-AEE062810E6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"529abe3227038afcd857fe878e6e645f9eb8f240","datavalue":{"value":{"entity-type":"item","numeric-id":167293,"id":"Q167293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308644$45097417-6CFF-4D78-A7DE-40BA04A63B33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c693d8520cbbc96b063ad4da4a2b180187c6171","datavalue":{"value":{"time":"+1993-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1308644$339B9323-E9C8-48B1-BF86-39F8541E2442","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7a438380b407501030fffa80afe1477f5930986","datavalue":{"value":"Es wird die Theorie der Berechenbarkeit in einer im wesentlichen maschinenunabh\u00e4ngigen Form pr\u00e4sentiert. Der Schwerpunkt liegt in diesem Buch vielmehr auf Berechnungsvorschriften, die durch entsprechende Rekursionsschemata f\u00fcr arithmetische Funktionen gegeben sind, oder solche Berechnungsvorschriften, die durch entsprechende Programme oder durch Kalk\u00fcle gegeben sind. Hierbei werden sowohl Termersetzungs- als auch Gleichungskalk\u00fcle behandelt.   Ein gewisser Schwerpunkt liegt ferner auf den subrekursiven Funktionsklassen, wie die elementaren Funktionen, die primitiv-rekursiven Funktionen, die simplen Funktionen und die Klassen der Grzegorczyk- und der Schleifen-Hierarchie.   Die Darstellung ist \u00e4u\u00dferst pr\u00e4zise, man wird an keiner Stelle ein ``hard waving'' Beweisargument finden. Andererseits wir die Lesbarkeit des Buches durch (meines Erachtens unn\u00f6tig) viele Notationen und Abk\u00fcrzungen erschwert. Will man in ein Kapitel ``quereinsteigen'', so wird dieser Versuch sofort durch die Notwendigkeit, eine Unmenge von Notationen nachschlagen zu m\u00fcssen, bestraft. Der disziplinierte Leser, der das Buch von vorne nach hinten liest, wird dagegen f\u00fcr seine M\u00fchen belohnt: dies vor allem deshalb, weil die Berechenbarkeitstheorie eine intellektuelle \u00c4sthetik besitzt (die ihr letztlich keine Form der Darstellung nehmen kann).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308644$63DBBCA0-436E-4D37-A3E1-9E8E9AC55423","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308644$CCA56BB7-0DE4-4137-9243-FC7CC6DACE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308644$3BD801D2-7C77-436A-8555-8267309D00D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308644$2A87648F-838C-4A8A-8EF8-5F1A9242B541","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66a52008d6924f447ad2890d18d77b34a48dce77","datavalue":{"value":"464503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308644$91605BF3-B8E9-43AB-BCAA-D62326A0390A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308644$0E3AE7C0-2971-44A1-924D-3DA7293497BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50993d6f3407c3e24bed6ddfa8a874d0dcc51a3d","datavalue":{"value":"subrecursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308644$124BB189-B7D0-4D5A-BBE0-3237F28CB566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308644$34A39776-F31A-45AE-8BCF-8408973AC878","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":"Q1308644$7201E917-CBAC-43A1-8427-10F036542DCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505e3079f4e49cd76a9435c39244d82cd2e7a252","datavalue":{"value":{"entity-type":"item","numeric-id":4039829,"id":"Q4039829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e0c2ac3680b0c81fcfb300fdadc15fb7098478","datavalue":{"value":{"amount":"+0.8328313827514648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308644$F4FBA070-ADD9-44C6-BFD0-88C0277AC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc73f8d310b5b33b35904817290a9ddd59f3e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4004292,"id":"Q4004292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf488c6442511b7e2468a01ec96b602b34ecdf68","datavalue":{"value":{"amount":"+0.8238034844398499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308644$C4077240-EA13-4DBC-BDD3-3B5E675D70D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43499dadcfbfa3e0627efafcb640e7c615051939","datavalue":{"value":{"entity-type":"item","numeric-id":5959194,"id":"Q5959194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4141076fb6d9601128e270ab636319cfdb1fcd7","datavalue":{"value":{"amount":"+0.8142322897911072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308644$B8918739-EEBC-4D04-907A-9E6070E8ABB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9882558101784b94c83d4d01f7be57ddd4e92f91","datavalue":{"value":{"entity-type":"item","numeric-id":4285775,"id":"Q4285775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53db4afa83756c4f8082db2d19a3bfe8a4077d36","datavalue":{"value":{"amount":"+0.8015903234481812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308644$D4D55319-6B3A-46B5-8F77-3D1A4C49CE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5ccccc3845cab9f9d2079fb15c9cc0b66d58c7","datavalue":{"value":{"entity-type":"item","numeric-id":5153715,"id":"Q5153715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40189183ccef98fcc7f2d8ad3630f7d27f55ab30","datavalue":{"value":{"amount":"+0.8005253076553345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308644$FC09F3D1-3FC5-4BBB-B06D-6168D4FCFB90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computability. Recursive and programmable functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computability._Recursive_and_programmable_functions"}}}}}