Формат определен в IETF RFC4122 в разделе 3. Формат вывода определяется там, где он говорит «UUID = ...»
3.- Пространство имен Шаблон регистрации
Идентификатор пространства имен: Информация для регистрации UUID: Дата регистрации: 2003-10-01
Объявленный регистратор пространства имен: JTC 1 / SC6 (группа докладчиков ASN.1)
Объявление синтаксической структуры: UUID является идентификатором, который является уникальным как по пространству, так и по времени относительно пространства всех UUID. Поскольку UUID является фиксированным размером и содержит поле времени, возможно, что значения будут опрокидываться (около A.D. 3400, в зависимости от используемого конкретного алгоритма). UUID может использоваться для нескольких целей: от тегов объектов с чрезвычайно коротким временем жизни, чтобы надежно идентифицировать очень постоянные объекты по сети.
blockquote>The internal representation of a UUID is a specific sequence of bits in memory, as described in Section 4. To accurately represent a UUID as a URN, it is necessary to convert the bit sequence to a string representation. Each field is treated as an integer and has its value printed as a zero-filled hexadecimal digit string with the most significant digit first. The hexadecimal values "a" through "f" are output as lower case characters and are case insensitive on input. The formal definition of the UUID string representation is provided by the following ABNF [7]: UUID = time-low "-" time-mid "-" time-high-and-version "-" clock-seq-and-reserved clock-seq-low "-" node time-low = 4hexOctet time-mid = 2hexOctet time-high-and-version = 2hexOctet clock-seq-and-reserved = hexOctet clock-seq-low = hexOctet node = 6hexOctet hexOctet = hexDigit hexDigit hexDigit = "0" / "1" / "2" / "3" / "4" / "5" / "6" / "7" / "8" / "9" / "a" / "b" / "c" / "d" / "e" / "f" / "A" / "B" / "C" / "D" / "E" / "F"
Ваши выражения эквивалентны операторам "b, квадратное число", и "b 10-е питание числа" соответственно. Преобразование "питания" операторов в TNT значительно более хитро.
как насчет:
∀ x: ∀ y: (SSx∙ y = b → ∃ z: z∙ SS0 = SSx)
(на английском языке: любой фактор b, который является ≥ 2 должно самостоятельно быть делимым 2; буквально: для всех X и Y натуральных чисел, если (2+x) * y = b тогда это подразумевает, что существует натуральное число z, таким образом что z * 2 = (2+x).)
я не на 100% уверен, что это позволяется в синтаксисе TNT и исчисление высказываний , это было некоторое время, так как я просмотрел GEB.
(редактирование: для b = 2 <глоток> n глоток> проблема, по крайней мере; я вижу, почему 10 <глоток> n глоток> были бы более трудными, поскольку 10 не является главным. Но 11 <глоток> n глоток> было бы то же самое кроме замены одного термина "SS0" с "SSSSSSSSSSS0".)
В целом я сказал бы "b, питание 2", эквивалентно "каждому делителю b кроме 1, является кратным 2". Это:
в€Ђx ((в€ѓy (y*x=b & В¬ (x=S0))) в †’ в€ѓz (SS0*z=x))
РЕДАКТИРОВАНИЕ: Это не работает на 10 (спасибо за комментарии). Но по крайней мере это работает на все начала. Извините. Я думаю, что необходимо использовать своего рода последовательности кодирования, в конце концов. Я предлагаю "Теоремы Неполноты GГ¶del" Raymond Smullyan, если Вы хотите подробный и более общий подход к этому.
Или можно закодировать Последовательности чисел с помощью китайской Теоремы Остатка и затем закодировать рекурсивные определения, такие, что можно определить Возведение в степень. На самом деле это в основном, как можно доказать, что Арифметикой Peano является завершенный Тьюринг.
Попытка это:
D(x,y)=∃a(a*x=y)
Prime(x)=¬x=1&∀yD(y,x)→y=x|y=1
a=b mod c = ∃k a=c*k+b
Тогда
∃y ∃k(
∀x(D(x,y)&Prime(x)→¬D(x*x,y)) &
∀x(D(x,y)&Prime(x)&∀z(Prime(z)&z<x→¬D(z,y))→(k=1 mod x)) &
∀x∀z(D(x,y)&Prime(x)&D(z,y)&Prime(z)&z<x&∀t(z<t<x→¬(Prime(t)&D(t,y)))→
∀a<x ∀c<z ((k=a mod x)&(k=c mod z)-> a=c*10))&
∀x(D(x,y)&Prime(x)&∀z(Prime(z)&z>x→¬D(z,y))→(b<x & (k=b mod x))))
должен указать "b, Питание 10", на самом деле говоря, что "существует номер y и номер k, таким образом, что y является продуктом отличных начал, и последовательность, закодированная k через эти начала, начинается 1, имеет свойство, которое следующий элемент c 10*a, и заканчивает b"
Я думаю, что большинство из вышеперечисленного показали, что b должно быть кратным 4. Как насчет этого: ∃ b: ∀c: << ∀e: (c ∙ e) = b & ~ ∃c ': ∃c' ':( ssc' ∙ ssc '') = c> → c = 2>
Я не знаю Я думаю, что форматирование идеально, но оно гласит:
Существует b, такое что для всех c, если c является фактором b, а c простое, то c равно 2.
Здесь есть решение проблемы "b есть степень 10" за кнопкой спойлера в посте скептического ученого здесь . Это зависит от китайской теоремы об остатках из теории чисел и существования произвольно длинных арифметических последовательностей простых чисел. Как указал Хофштадтер, придумать нелегко, даже если вы знаете соответствующие теоремы.