You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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