| We can find an effective enumeration of all the formal proofs in S by some procedure function NthProof(int n) which takes as input n and outputs some proof. |
Рассмотрим программу, реализующую эффективное перечисление всех формальных доказательств в s {\displaystyle \mathbf {s}} function NthProof(int n) принимающую на вход n и выдающую некоторое доказательство. |
| 11.08.2007 CACIB, International dog show in Lvov(Ukraine) judge Kocsis Sandor (Hungary) Aloiz Deli Kazanova - Ex-1,BM-1,CAC, CACIB, BOS, UKR CH - INT CH! |
11.08.2007 CACIB, Mеждународная выставка в г.Львов (Украина) эскперт Kocsis Sandor (Венгрия) Aloiz Deli Kazanova - Ex-1,BM-1,CAC, CACIB, BOS, UKR CH - INT CH! |
| Thus, the example may fail on 64-bit machines (specifically LP64-architectures, where sizeof(void*) > sizeof(int)). |
Это может привести к ошибке на 64-битных платформах (в частности, на архитектурах LP64, где sizeof(void*) > sizeof(int)). |
| In addition to the assumption about bit-representation of floating-point numbers, the previous floating-point type-punning example also violates the C language's constraints on how objects are accessed: the declared type of x is float but it is read through an expression of type unsigned int. |
В дополнение к предположениям о битовом представлении чисел с плавающей запятой вышеприведённый пример каламбура типизации также нарушает установленные языком Си правила доступа к объектам: х объявлен как float, но его значение считывается в выражении, имеющем тип signed int. |
| These must have a scalar type (for example, float, int or long, but not std::vector, int [], etc.). |
У переменных должен быть скалярный тип (например, float, int или long, но не std::vector, int [] и т. д). |