Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

the euron problem

14 views
Skip to first unread message

Daniel Pehoushek

unread,
Dec 2, 2021, 5:33:31 PM12/2/21
to
logical formulas that use negation
are of the lowest order

bob transforms those to monotone form
to list all universal truth of a set using
all satisfying models

monotone formulas are the highest order
that is still propositionally consistent
they decide 2^n hard sentences in linear time

eurons everywhere learned how to
prove by flaw something they want to be true

they call it conflict direction or contradiction
but there are zero truth models

the satisfying set is totally empty

the proof technique preferred by eurons is worthless

also the natural law of natural numbers is new and called
the indian employee rule to make it easy to remember:
As Quantity Goes Up Quality Goes Down
with natural log relations that imply
something artful happens
to infinity or aleph null

many math books may be burned in europe for heat this winter

daniel

Daniel Pehoushek

unread,
Dec 2, 2021, 6:00:06 PM12/2/21
to
continuing...
marjin huey of the satisfiability committee
changed the community agenda so
they are now the unsatisfiability committee

he made every entry to unsat competitions print
program traces of zero as model count answer
bob would do that at 5 gigabytes per minute
then he runs his 2cnf checker and then he tells
the competitor that zero is the right answer

the fifteenth formula below has zero universal truth
four coloring ninth degree
daniel gres2380

[c4d9N108_0.veg 1]
1 (n 216 m 1940) #P 148752 (r 960471 b 3 (m 356283175))
2 (n 216 m 1944) #P 299448 (r 1078290 b 3 (m 656859148))
3 (n 216 m 1944) #P 5856 (r 791473 b 2 (m 870285260))
4 (n 216 m 1944) #P 18336 (r 637959 b 2 (m 295501553))
5 (n 216 m 1944) #P 58704 (r 516813 b 1 (m 884707705))
6 (n 216 m 1944) #P 6960 (r 766688 b 2 (m 729079725))
7 (n 216 m 1944) #P 19584 (r 1418942 b 4 (m 941125232))
8 (n 216 m 1944) #P 268704 (r 905330 b 3 (m 204551758))
9 (n 216 m 1944) #P 43560 (r 414762 b 1 (m 503727261))
10 (n 216 m 1944) #P 13200 (r 607756 b 2 (m 167784710))
11 (n 216 m 1944) #P 408 (r 521646 b 1 (m 901584377))
12 (n 216 m 1944) #P 19056 (r 1123586 b 3 (m 985920583))
13 (n 216 m 1944) #P 4949184 (r 948952 b 2 (m 421215231))
14 (n 216 m 1940) #P 5496 (r 674563 b 2 (m 446611281))
15 (n 216 m 1944) #P 0 (r 316328 b 1 (m 174672185))

Daniel Pehoushek

unread,
Dec 3, 2021, 2:28:18 AM12/3/21
to

dear germons
measures to reduce burdens on systems by counting
count number of injections
count number of infections
i see you very clearly fourth Reich
daniel

Daniel Pehoushek

unread,
Dec 3, 2021, 2:32:53 PM12/3/21
to
my big plan for Hubble Two is
good system access to bobby4.zip
then use viewer to count
four trillion
billion year old
computer civilizations
to improve
the environment
of earth
daniel
0 new messages