In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive. This is also true of the better-known Ackermann function. The Sudan function was the first function having this property to be published. It was discovered (and published ) in 1927 by Gabriel Sudan, a Romanian mathematician who was a student of David Hilbert.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Funció de Sudan (ca)
- Sudanfunktion (de)
- Fonction de Sudan (fr)
- Funzione di Sudan (it)
- スーダン関数 (ja)
- Funkcja Sudana (pl)
- Sudan function (en)
- 苏丹函数 (zh)
|
| rdfs:comment
| - En la teoria de la computació, la funció de Sudan és un exemple d'una funció recursiva, però no primitiva recursiva. Això també és cert per la més coneguda funció d'Ackermann. La funció de Sudan va ser la primera funció que va publicar aquesta propietat. Va ser descoberta (i publicada) el 1927 per , un matemàtic romanès que era estudiant de David Hilbert. (ca)
- Die Sudanfunktion ist eine rekursive berechenbare Funktion, die total μ-rekursiv jedoch nicht primitiv rekursiv ist, was sie mit der bekannteren Ackermannfunktion gemeinsam hat. Sie wurde 1927 von dem rumänischen Mathematiker publiziert, der wie Wilhelm Ackermann ein Schüler David Hilberts war. (de)
- En calculabilité, la fonction de Sudan est un exemple de fonction récursive mais non récursive primitive (de même que la fonction d'Ackermann, plus connue). Elle fut conçue en 1927 par le mathématicien roumain Gabriel Sudan, élève de David Hilbert. (fr)
- In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive. This is also true of the better-known Ackermann function. The Sudan function was the first function having this property to be published. It was discovered (and published ) in 1927 by Gabriel Sudan, a Romanian mathematician who was a student of David Hilbert. (en)
- Nella teoria della calcolabilità, la funzione di Sudan è una funzione ricorsiva totale non primitiva. La funzione era la prima che confutò la credenza che le funzioni ricorsive fossero necessariamente primitive. La scoperta è attribuita al matematico , uno studente di David Hilbert nel 1927, qualche anno prima di quella della più nota funzione di Ackermann. (it)
- スーダン関数（スーダンかんすう、英: Sudan function、独: Sudanfunktion）とは、計算理論において再帰的でありながら原始再帰的でない関数の一例である。この関数はドイツの数学者ダフィット・ヒルベルトの教鞭を受けていた学生であったによって1927年発表された。オリジナルの関数は順序数上の関数として定義されているが、自然数上で定義されたバージョンが1981年にディマによって定義され、カルデによって「再帰関数だが原始再帰関数でない最初の例」として紹介された。 (ja)
- Funkcja Sudana – występujący w teorii obliczeń przykład (obok bardziej znanej funkcji Ackermanna) funkcji będącej funkcją rekurencyjną, ale nie pierwotnie rekurencyjną. Jej definicja została opublikowana w 1927 roku przez rumuńskiego matematyka (ucznia Hilberta) i była pierwszą opublikowaną funkcją posiadającą wymienioną w powyższym akapicie własność. (pl)
- 苏丹函数（Sudan function），是递归函数，但如同阿克曼函数，不能通過μ算子定義更廣泛的偏遞歸函數類，因而不是函数。苏丹函数是第一个具有此属性的函数。 它于1927年由大卫·希尔伯特的学生羅馬尼亞数学家发现并发表。 (zh)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - En la teoria de la computació, la funció de Sudan és un exemple d'una funció recursiva, però no primitiva recursiva. Això també és cert per la més coneguda funció d'Ackermann. La funció de Sudan va ser la primera funció que va publicar aquesta propietat. Va ser descoberta (i publicada) el 1927 per , un matemàtic romanès que era estudiant de David Hilbert. (ca)
- Die Sudanfunktion ist eine rekursive berechenbare Funktion, die total μ-rekursiv jedoch nicht primitiv rekursiv ist, was sie mit der bekannteren Ackermannfunktion gemeinsam hat. Sie wurde 1927 von dem rumänischen Mathematiker publiziert, der wie Wilhelm Ackermann ein Schüler David Hilberts war. (de)
- En calculabilité, la fonction de Sudan est un exemple de fonction récursive mais non récursive primitive (de même que la fonction d'Ackermann, plus connue). Elle fut conçue en 1927 par le mathématicien roumain Gabriel Sudan, élève de David Hilbert. (fr)
- In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive. This is also true of the better-known Ackermann function. The Sudan function was the first function having this property to be published. It was discovered (and published ) in 1927 by Gabriel Sudan, a Romanian mathematician who was a student of David Hilbert. (en)
- Nella teoria della calcolabilità, la funzione di Sudan è una funzione ricorsiva totale non primitiva. La funzione era la prima che confutò la credenza che le funzioni ricorsive fossero necessariamente primitive. La scoperta è attribuita al matematico , uno studente di David Hilbert nel 1927, qualche anno prima di quella della più nota funzione di Ackermann. (it)
- スーダン関数（スーダンかんすう、英: Sudan function、独: Sudanfunktion）とは、計算理論において再帰的でありながら原始再帰的でない関数の一例である。この関数はドイツの数学者ダフィット・ヒルベルトの教鞭を受けていた学生であったによって1927年発表された。オリジナルの関数は順序数上の関数として定義されているが、自然数上で定義されたバージョンが1981年にディマによって定義され、カルデによって「再帰関数だが原始再帰関数でない最初の例」として紹介された。 (ja)
- Funkcja Sudana – występujący w teorii obliczeń przykład (obok bardziej znanej funkcji Ackermanna) funkcji będącej funkcją rekurencyjną, ale nie pierwotnie rekurencyjną. Jej definicja została opublikowana w 1927 roku przez rumuńskiego matematyka (ucznia Hilberta) i była pierwszą opublikowaną funkcją posiadającą wymienioną w powyższym akapicie własność. (pl)
- 苏丹函数（Sudan function），是递归函数，但如同阿克曼函数，不能通過μ算子定義更廣泛的偏遞歸函數類，因而不是函数。苏丹函数是第一个具有此属性的函数。 它于1927年由大卫·希尔伯特的学生羅馬尼亞数学家发现并发表。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage disambiguates
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)