Sudan function
http://dbpedia.org/resource/Sudan_function an entity of type: WikicatLargeIntegers
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
スーダン関数（スーダンかんすう、英: Sudan function、独: Sudanfunktion）とは、計算理論において再帰的でありながら原始再帰的でない関数の一例である。この関数はドイツの数学者ダフィット・ヒルベルトの教鞭を受けていた学生であったによって1927年発表された。オリジナルの関数は順序数上の関数として定義されているが、自然数上で定義されたバージョンが1981年にディマによって定義され、カルデによって「再帰関数だが原始再帰関数でない最初の例」として紹介された。
rdf:langString
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ść.
rdf:langString
苏丹函数（Sudan function），是递归函数，但如同阿克曼函数，不能通過μ算子定義更廣泛的偏遞歸函數類，因而不是函数。苏丹函数是第一个具有此属性的函数。 它于1927年由大卫·希尔伯特的学生羅馬尼亞数学家发现并发表。
rdf:langString
rdf:langString
Funció de Sudan
rdf:langString
Sudanfunktion
rdf:langString
Fonction de Sudan
rdf:langString
Funzione di Sudan
rdf:langString
スーダン関数
rdf:langString
Funkcja Sudana
rdf:langString
Sudan function
rdf:langString
苏丹函数
xsd:integer
3925287
xsd:integer
1117469517
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
スーダン関数（スーダンかんすう、英: Sudan function、独: Sudanfunktion）とは、計算理論において再帰的でありながら原始再帰的でない関数の一例である。この関数はドイツの数学者ダフィット・ヒルベルトの教鞭を受けていた学生であったによって1927年発表された。オリジナルの関数は順序数上の関数として定義されているが、自然数上で定義されたバージョンが1981年にディマによって定義され、カルデによって「再帰関数だが原始再帰関数でない最初の例」として紹介された。
rdf:langString
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ść.
rdf:langString
苏丹函数（Sudan function），是递归函数，但如同阿克曼函数，不能通過μ算子定義更廣泛的偏遞歸函數類，因而不是函数。苏丹函数是第一个具有此属性的函数。 它于1927年由大卫·希尔伯特的学生羅馬尼亞数学家发现并发表。
xsd:nonNegativeInteger
5134