Non-standard model of arithmetic
http://dbpedia.org/resource/Non-standard_model_of_arithmetic an entity of type: Person
En lógica matemática, un modelo no estándar de la aritmética es un modelo para la aritmética de Peano (de primer orden) que contiene números no estándar. El modelo estándar de la aritmética es el compuesto por los números naturales {0, 1, 2, ...}, una sucesión infinita y numerable ordenada linealmente. Un modelo no estándar contiene elementos adicionales fuera de esta sucesión. La existencia de modelos no estándar para la aritmética fue demostrado por en 1934.
rdf:langString
En logique mathématique, un modèle non standard de l'arithmétique est un modèle non standard de l'arithmétique de Peano, qui contient des nombres non standards. Le modèle standard de l'arithmétique contient exactement les nombres naturels 0, 1, 2, etc. Les éléments du domaine de tout modèle de l'arithmétique de Peano sont ordonnés linéairement et possèdent un segment initial isomorphe aux nombres naturels standards. Un modèle non standard est un modèle qui contient également des éléments en dehors de ce segment initial. Thoralf Skolem (1934) fut le premier à poser les bases de l'arithmétique non standard, généralisée ensuite à l'analyse non standard par Abraham Robinson.
rdf:langString
In mathematical logic, a non-standard model of arithmetic is a model of (first-order) Peano arithmetic that contains non-standard numbers. The term standard model of arithmetic refers to the standard natural numbers 0, 1, 2, …. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A non-standard model is one that has additional elements outside this initial segment. The construction of such models is due to Thoralf Skolem (1934).
rdf:langString
算術の超準モデル (英: non-standard model of arithmetic) とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（）を含むようなモデルのことである。それに対し、通常の自然数 は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、 と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。
rdf:langString
Na lógica matemática, um modelo da aritmética não-padrão é um modelo da (primeira-ordem) aritmética de Peano que contém números não-padrões. O modelo padrão da aritmética consiste do conjunto dos números naturias {0,1,2,3,...}. Os elementos de qualquer modelo da aritmética de Peano são ordenados linearmente e possuem um segmento isomórfico inicial aos números naturais comuns. Um modelo não-padrão é um modelo que não possui elementos adicionais fora do seu segmento inicial. A construção de tais modelos se dá por conta de Thoralf Skolem (1934).
rdf:langString
У математичній логіці нестандартна модель арифметики - це модель арифметики Пеано (першого порядку), яка містить нестандартні числа. Термін стандартна модель арифметики має на увазі стандартні натуральні числа 0, 1, 2,... Елементи будь-якої моделі арифметики Пеано лінійно впорядковані і мають початковий сегмент ізоморфний стандартним натуральним числам. Нестандартна модель - це така, яка має додаткові елементи поза цим початковим сегментом. Побудова таких моделей пояснюється Торальфом Сколем (1934).
rdf:langString
rdf:langString
Aritmética no estándar
rdf:langString
Modèle non standard de l'arithmétique
rdf:langString
算術の超準モデル
rdf:langString
Non-standard model of arithmetic
rdf:langString
Modelo de aritmética não padrão
rdf:langString
Нестандартна модель арифметики
xsd:integer
6251420
xsd:integer
1090132440
rdf:langString
En lógica matemática, un modelo no estándar de la aritmética es un modelo para la aritmética de Peano (de primer orden) que contiene números no estándar. El modelo estándar de la aritmética es el compuesto por los números naturales {0, 1, 2, ...}, una sucesión infinita y numerable ordenada linealmente. Un modelo no estándar contiene elementos adicionales fuera de esta sucesión. La existencia de modelos no estándar para la aritmética fue demostrado por en 1934.
rdf:langString
En logique mathématique, un modèle non standard de l'arithmétique est un modèle non standard de l'arithmétique de Peano, qui contient des nombres non standards. Le modèle standard de l'arithmétique contient exactement les nombres naturels 0, 1, 2, etc. Les éléments du domaine de tout modèle de l'arithmétique de Peano sont ordonnés linéairement et possèdent un segment initial isomorphe aux nombres naturels standards. Un modèle non standard est un modèle qui contient également des éléments en dehors de ce segment initial. Thoralf Skolem (1934) fut le premier à poser les bases de l'arithmétique non standard, généralisée ensuite à l'analyse non standard par Abraham Robinson.
rdf:langString
In mathematical logic, a non-standard model of arithmetic is a model of (first-order) Peano arithmetic that contains non-standard numbers. The term standard model of arithmetic refers to the standard natural numbers 0, 1, 2, …. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A non-standard model is one that has additional elements outside this initial segment. The construction of such models is due to Thoralf Skolem (1934).
rdf:langString
算術の超準モデル (英: non-standard model of arithmetic) とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（）を含むようなモデルのことである。それに対し、通常の自然数 は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、 と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。
rdf:langString
Na lógica matemática, um modelo da aritmética não-padrão é um modelo da (primeira-ordem) aritmética de Peano que contém números não-padrões. O modelo padrão da aritmética consiste do conjunto dos números naturias {0,1,2,3,...}. Os elementos de qualquer modelo da aritmética de Peano são ordenados linearmente e possuem um segmento isomórfico inicial aos números naturais comuns. Um modelo não-padrão é um modelo que não possui elementos adicionais fora do seu segmento inicial. A construção de tais modelos se dá por conta de Thoralf Skolem (1934).
rdf:langString
У математичній логіці нестандартна модель арифметики - це модель арифметики Пеано (першого порядку), яка містить нестандартні числа. Термін стандартна модель арифметики має на увазі стандартні натуральні числа 0, 1, 2,... Елементи будь-якої моделі арифметики Пеано лінійно впорядковані і мають початковий сегмент ізоморфний стандартним натуральним числам. Нестандартна модель - це така, яка має додаткові елементи поза цим початковим сегментом. Побудова таких моделей пояснюється Торальфом Сколем (1934).
xsd:nonNegativeInteger
9018