| rdfs:comment
| - En matematiko la nombro de Rayo estas granda numero nomita kiel tiu de ĝia kreinto, Agustín Rayo. Li proponis ĝin por esti la plej granda nomita numero. Ĝi estis difinita origine en "duelo de granda nombro" en MIT la 26an de januaro 2007. (eo)
- El número de Rayo es un número grande llamado así por su creador, el profesor mexicano Agustín Rayo. Se propuso para ser el número finito más grande que alguna vez se haya nombrado. Originalmente fue definido en un "duelo de números grandes" en el MIT, el 26 de enero de 2007. (es)
- Rayo's number is a large number named after Mexican associate professor Agustín Rayo which has been claimed to be the largest named number. It was originally defined in a "big number duel" at MIT on 26 January 2007. (en)
- Le nombre de Rayo est un grand nombre défini par Augustín Rayo, qui est réputé être le plus grand nombre spécifiquement nommé. Il fut défini à l'occasion d'un « duel de grands nombres » au MIT le 26 janvier 2007. (fr)
- 라요 수(영어: Rayo's number)는 의 이름을 딴 가장 큰 이름있는 수로 제안된 큰 수이다. 이 수는 원래 2007년 1월 26일에 MIT의 "big number duel"에서 정의되었었다. (ko)
- Il numero di Rayo è un numero grande che prende il nome dal matematico messicano Agustín Rayo, il quale ha scoperto e dimostrato questo numero, durante una sorta di duello per la ricerca del numero più grande al MIT del 26 gennaio 2007. (it)
- Liczba Raya – jedna z wielkich liczb nazwana nazwiskiem Agustína Rayo, która została uznana za największą nazwaną liczbę. Została ona oryginalnie zdefiniowana w trakcie "pojedynku wielkich liczb" na MIT dnia 26 stycznia 2007. (pl)
- ラヨ数（ラヨすう、英: Rayo's number）とはにちなんで名付けられた巨大数であり、彼の手掛けた最大の数と主張されている 。これは元々2007年1月26日にマサチューセッツ工科大学 (MIT) にて行われたイベント「巨大数決闘（big number duelもしくはLarge Number Championship）」にて定義された。 (ja)
- O número de Rayo é um número muito grande cujo nome se refere ao matemático , e que pode ser considerado o maior inteiro para o qual existe uma designação. Foi originalmente definido num "duelo de números grandes" no MIT em 26 de janeiro de 2007. (pt)
- 拉約數（英語：Rayo's number），是一個由阿古斯丁·拉約（Agustín Rayo）所創造並命名的大數。這個數在當時比其他任何數都來得大（後來出現一個叫做BIG FOOT的大數比它更大），就算是葛立恆數，跟拉約數比起來也是微不足道的。這個數是在麻省理工學院在2007年1月26日舉辦的一場「大數戰鬥」中被定義的。 (zh)
- Число Райо — большое число, названное в честь Агустина Райо, который объявил самое большое число с собственным именем. Изначально ему было дано точное определение на «дуэли больших чисел» в Массачусетском технологическом институте 26 января 2007 года. Определением числа Райо является вариация определения: Самое маленькое число, большее, чем любое конечное число, определённое выражением на языке теории множеств с использованием гугола символов или меньше. Формальное определение числа использует следующую формулу второго порядка, где [φ] — формула нумерации Гёделя, а s — назначение переменной: (ru)
|
| has abstract
| - En matematiko la nombro de Rayo estas granda numero nomita kiel tiu de ĝia kreinto, Agustín Rayo. Li proponis ĝin por esti la plej granda nomita numero. Ĝi estis difinita origine en "duelo de granda nombro" en MIT la 26an de januaro 2007. (eo)
- El número de Rayo es un número grande llamado así por su creador, el profesor mexicano Agustín Rayo. Se propuso para ser el número finito más grande que alguna vez se haya nombrado. Originalmente fue definido en un "duelo de números grandes" en el MIT, el 26 de enero de 2007. (es)
- Rayo's number is a large number named after Mexican associate professor Agustín Rayo which has been claimed to be the largest named number. It was originally defined in a "big number duel" at MIT on 26 January 2007. (en)
- Le nombre de Rayo est un grand nombre défini par Augustín Rayo, qui est réputé être le plus grand nombre spécifiquement nommé. Il fut défini à l'occasion d'un « duel de grands nombres » au MIT le 26 janvier 2007. (fr)
- 라요 수(영어: Rayo's number)는 의 이름을 딴 가장 큰 이름있는 수로 제안된 큰 수이다. 이 수는 원래 2007년 1월 26일에 MIT의 "big number duel"에서 정의되었었다. (ko)
- Il numero di Rayo è un numero grande che prende il nome dal matematico messicano Agustín Rayo, il quale ha scoperto e dimostrato questo numero, durante una sorta di duello per la ricerca del numero più grande al MIT del 26 gennaio 2007. (it)
- Liczba Raya – jedna z wielkich liczb nazwana nazwiskiem Agustína Rayo, która została uznana za największą nazwaną liczbę. Została ona oryginalnie zdefiniowana w trakcie "pojedynku wielkich liczb" na MIT dnia 26 stycznia 2007. (pl)
- ラヨ数（ラヨすう、英: Rayo's number）とはにちなんで名付けられた巨大数であり、彼の手掛けた最大の数と主張されている 。これは元々2007年1月26日にマサチューセッツ工科大学 (MIT) にて行われたイベント「巨大数決闘（big number duelもしくはLarge Number Championship）」にて定義された。 (ja)
- O número de Rayo é um número muito grande cujo nome se refere ao matemático , e que pode ser considerado o maior inteiro para o qual existe uma designação. Foi originalmente definido num "duelo de números grandes" no MIT em 26 de janeiro de 2007. (pt)
- 拉約數（英語：Rayo's number），是一個由阿古斯丁·拉約（Agustín Rayo）所創造並命名的大數。這個數在當時比其他任何數都來得大（後來出現一個叫做BIG FOOT的大數比它更大），就算是葛立恆數，跟拉約數比起來也是微不足道的。這個數是在麻省理工學院在2007年1月26日舉辦的一場「大數戰鬥」中被定義的。 (zh)
- Число Райо — большое число, названное в честь Агустина Райо, который объявил самое большое число с собственным именем. Изначально ему было дано точное определение на «дуэли больших чисел» в Массачусетском технологическом институте 26 января 2007 года. Определением числа Райо является вариация определения: Самое маленькое число, большее, чем любое конечное число, определённое выражением на языке теории множеств с использованием гугола символов или меньше. Позднее первоначальный вариант определения был уточнён, и теперь определение звучит следующим образом: «Самое маленькое число, большее, чем любое конечное число, которое может быть определено выражением на языке первого порядка теории множеств с использованием менее, чем гугола (10100) символов». Формальное определение числа использует следующую формулу второго порядка, где [φ] — формула нумерации Гёделя, а s — назначение переменной: ∀R {<br>{для любой (закодированной) формулы [ψ] и любой переменной t<br>(R( [ψ],t) ↔<br>( ([ψ] = `x<sub>i</sub> ∈ x<sub>j</sub>' ∧ t(x<sub>1</sub>) ∈ t(x<sub>j</sub>)) ∨<br>([ψ] = `x<sub>i</sub> = x<sub>j</sub>' ∧ t(x<sub>1</sub>) = t(x<sub>j</sub>)) ∨<br>([ψ] = `(∼θ)' ∧ ∼R([θ],t)) ∨<br>([ψ] = `(θ∧ξ)' ∧ R([θ],t) ∧ R([ξ],t)) ∨<br>([ψ] = `∃x<sub>i</sub> (θ)' и, для некоторого xi-вариантного t' от t, R([θ],t'))<br>)} →<br>R([φ],s)} С учётом этой формулы число Райо определяется следующим образом: Самое маленькое число, большее, чем любое конечное число m со следующим свойством: существует формула φ(x1) в языке первого порядка теории множеств (как представлено в определении `Sat') с менее, чем гуголом символов и x1, как единственной свободной переменной, такое что (1) существует назначение переменной s, определяющее m к x1, т. о., что Sat([φ(x1)], s) и (2) для любого назначения переменной t, если Sat([φ(x1)], t), то t определяет m к x1. (ru)
|
![[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)