|
Search: id:A101248
|
|
|
| A101248 |
|
Decimal Goedelization of contingent WFFs (well-formed formulae) from propositional calculus, in Richard Schroeppel's metatheory of A101273. Truth value depends on truth value of variables, but is neither always true (theorem)nor always false (antitheorem). |
|
+0
3
|
|
| 1, 2, 11, 12, 21, 22, 31, 32, 111, 112, 141, 142, 151, 152, 161, 162, 172, 182, 241, 242, 251, 252, 261, 262, 271, 281, 311, 312, 321, 322, 331, 332, 910, 912, 1111, 1112, 1121, 1122, 1141, 1142, 1151, 1152, 1161, 1162, 1171, 1172, 1181, 1182, 1211, 1212, 1221
(list; graph; listen)
|
|
|
OFFSET
|
0,2
|
|
|
COMMENT
|
Blocks of 1's and 2s are variables: A = 1, B = 2, C = 11, D = 12, E = 21, ... Not (also written -) = 3; And = 4; Xor = 5; Or = 6; Implies = 7; Equiv = 8; Left Parenthesis = 9; Right Parenthesis = 0. Operator binding strength is in numerical order, Not > And > ... > Equiv. The non-associative "Implies" is evaluated from Left to Right; A->B->C = is interpreted (A->B)->C. Redundant parentheses are permitted, so long as they are balanced, and centered on a valid variable or sentential formula, and not on the null character. Besides A101273 (theorems = tautologies), A100200 (antitheorems = always false WFFs) there can also be the subsequence of theorems that can be proved within the more restricted Intuitionistic logic; this sequence of well-formed formulae whose truth value is contingent on the truth values of their variables; and many others. As with A101273, I conjecture that a power law approximates the number of integers in this sequence, where the number with N digits is approximately N to the power of some real number D. The union of A101273, A100200, and this sequence is the set of all WFFs in Richard Schroeppel's metatheory of A101273.
Warning: there may be errors - see comment in A100200.
|
|
REFERENCES
|
Goedel, K. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. New York: Dover, 1992.
Hofstadter, D. R. Goedel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books, p. 17, 1989.
Kleene, S. C. Introduction to Metamathematics. Princeton, NJ: Van Nostrand, p. 39, 1964.
|
|
LINKS
|
Eric Weisstein's World of Mathematics, Propositional Calculus.
Eric Weisstein's World of Mathematics, Connective.
Eric Weisstein et al. Goedel Number.
|
|
EXAMPLE
|
1 A
2 B
11 C
12 D
21 E
22 F
31 -A
32 -B
111 G
112 H
141 A^A
142 A^B
151 A xor A
152 A xor B
161 A V A
162 A V B
172 A->B
182 A=B
241 B^A
242 B^B
251 B xor A
252 B xor B
261 BVA
262 BVB
271 B->A
281 B=A
311 -C
312 -D
321 - E
322 - F
331 --A
332 --B
910 ( A )
912 ( B )
1111 I
1112 J
1121 K
1122 L
1141 C^A
1142 C^B
1151 C xor A
1152 C xor B
1161 C V A
1162 C V B
1171 C->A
1172 C->B
1181 C=A
1182 C=B
1211 M
1212 N
1221 O
1222 P
1241 D^A
1242 D^B
1251 D xor A
1252 D xor B
1261 D V A
1262 D V B
1271 D->A
1272 D->B
1281 D=A
1282 D=B
1411 A^C
1412 A^D
1432 A ^ -B
1511 A xor C
1512 A xor D
1532 A xor -B
1611 A V C
1612 A V D
1632 A V -B
1711 A->C
1712 A->D
1732 A -> -B
1811 A=C
1812 A=D
1821 A=E
1822 A=F
1832 A = -B
|
|
CROSSREFS
|
Cf. A101273, A100200.
Sequence in context: A038118 A038117 A038116 this_sequence A038115 A089604 A038114
Adjacent sequences: A101245 A101246 A101247 this_sequence A101249 A101250 A101251
|
|
KEYWORD
|
nonn,uned
|
|
AUTHOR
|
Jonathan Vos Post (jvospost3(AT)gmail.com), Jan 23 2005
|
|
|
Search completed in 0.003 seconds
|
