About: dbkwik:resource/CClcmsrMj58q_zJhTHB8dQ==   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : dbkwik.webdatacommons.org associated with source dataset(s)

AttributesValues
rdfs:label
  • Число Грэма
rdfs:comment
  • Число Грэма (Грехема, англ. Graham's number) — большое число, которое является верхней границей для решения определённой проблемы в теории Рамсея. Названо в честь Рональда Грэма (англ.). Используя стрелочную нотацию Кнута, число Грехема G может быть записано как 3^^^...^^^3 где 3^^^...^^^3 где 3^^^...^^^3 где ... стрелок сверхстепени. (Повторяется 64 раза). где количество стрелок в каждом слое, начиная с верхнего, определяется числом в следующем слое, то есть G = g64, g1 = 3^^^^3, gn = 3^gn-13.
dcterms:subject
abstract
  • Число Грэма (Грехема, англ. Graham's number) — большое число, которое является верхней границей для решения определённой проблемы в теории Рамсея. Названо в честь Рональда Грэма (англ.). Используя стрелочную нотацию Кнута, число Грехема G может быть записано как 3^^^...^^^3 где 3^^^...^^^3 где 3^^^...^^^3 где ... стрелок сверхстепени. (Повторяется 64 раза). где количество стрелок в каждом слое, начиная с верхнего, определяется числом в следующем слое, то есть G = g64, g1 = 3^^^^3, gn = 3^gn-13. и где верхний индекс у стрелки показывает общее количество стрелок. Другими словами, G вычисляется в 64 шага: на первом шаге мы вычисляем g1 с четырьмя стрелками между тройками, на втором — g2 с g1 стрелок между тройками, на третьем — g3 с g2 стрелок между тройками и так далее, в конце мы вычисляем G = g64 с g63 стрелок между тройками. Категория:Числа
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software