Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
STUDENTS BEWARE: Don't be a victim of AP's fake math and science
21 views
Skip to first unread message
Message has been deleted
Dan Christensen
Nov 26, 2022, 10:08:16 PM11/26/22
to
STUDENTS BEWARE: Don't be a victim of AP's fake math and science
On Saturday, November 26, 2022 at 9:53:48 PM UTC-5, Archimedes Plutonium ("Science" editor, Qanon.com) wrote:
> Dan Christensen...
[snip]
Time for another spanking, Archie Poo? When will you learn? Once again...
From his antics here at sci.math, it is obvious that AP has abandoned all hope of being recognized as a credible personality. He is a malicious internet troll who now wants only to mislead and confuse students. He may not be all there, but his fake math and science can only be meant to promote failure in schools. One can only guess at his motives. Is it revenge for his endless string of personal failures in life? Who knows.
In AP's OWN WORDS here that, over the years, he has NEVER renounced or withdrawn:
“Primes do not exist, because the set they were borne from has no division.”
--June 29, 2020
“The last and largest finite number is 10^604.”
--June 3, 2015
“0 appears to be the last and largest finite number”
--June 9, 2015
“0/0 must be equal to 1.”
-- June 9, 2015
“0 is an infinite irrational number.”
--June 28, 2015
“No negative numbers exist.”
--December 22, 2018
“Rationals are not numbers.”
--May 18, 2019
According to AP's “chess board math,” an equilateral triangle is a right-triangle.
--December 11, 2019
Which could explain...
“The value of sin(45 degrees) = 1.” (Actually 0.707)
--May 31, 2019
AP deliberately and repeatedly presented the truth table for OR as the truth table for AND:
“New Logic
AND
T & T = T
T & F = T
F & T = T
F & F = F”
--November 9, 2019
AP seeks aid of Russian agents to promote failure in schools:
"Please--Asking for help from Russia-- russian robots-- to create a new, true mathematics [sic]. What I like for the robots to do, is list every day, about 4 Colleges ( of the West) math dept, and ask why that math department is teaching false and fake math, and if unable to change to the correct true math, well, simply fire that math department until they can find professors who recognize truth in math from fakery...."
--November 9, 2017
And if that wasn't weird enough...
“The totality, everything that there is [the universe], is only 1 atom of plutonium [Pu]. There is nothing outside or beyond this one atom of plutonium.”
--April 4, 1994
“The Universe itself is one gigantic big atom.”
--November 14, 2019
AP's sinister Atom God Cult of Failure???
“Since God-Pu is marching on.
Glory! Glory! Atom Plutonium!
Its truth is marching on.
It has sounded forth the trumpet that shall never call retreat;
It is sifting out the hearts of people before its judgment seat;
Oh, be swift, my soul, to answer it; be jubilant, my feet!
Our God-Pu is marching on.”
--December 15, 2018 (Note: Pu is the atomic symbol for plutonium)
Dan
Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com
On Saturday, November 26, 2022 at 9:53:48 PM UTC-5, Archimedes Plutonium ("Science" editor, Qanon.com) wrote:
> Dan Christensen...
[snip]
Time for another spanking, Archie Poo? When will you learn? Once again...
From his antics here at sci.math, it is obvious that AP has abandoned all hope of being recognized as a credible personality. He is a malicious internet troll who now wants only to mislead and confuse students. He may not be all there, but his fake math and science can only be meant to promote failure in schools. One can only guess at his motives. Is it revenge for his endless string of personal failures in life? Who knows.
In AP's OWN WORDS here that, over the years, he has NEVER renounced or withdrawn:
“Primes do not exist, because the set they were borne from has no division.”
--June 29, 2020
“The last and largest finite number is 10^604.”
--June 3, 2015
“0 appears to be the last and largest finite number”
--June 9, 2015
“0/0 must be equal to 1.”
-- June 9, 2015
“0 is an infinite irrational number.”
--June 28, 2015
“No negative numbers exist.”
--December 22, 2018
“Rationals are not numbers.”
--May 18, 2019
According to AP's “chess board math,” an equilateral triangle is a right-triangle.
--December 11, 2019
Which could explain...
“The value of sin(45 degrees) = 1.” (Actually 0.707)
--May 31, 2019
AP deliberately and repeatedly presented the truth table for OR as the truth table for AND:
“New Logic
AND
T & T = T
T & F = T
F & T = T
F & F = F”
--November 9, 2019
AP seeks aid of Russian agents to promote failure in schools:
"Please--Asking for help from Russia-- russian robots-- to create a new, true mathematics [sic]. What I like for the robots to do, is list every day, about 4 Colleges ( of the West) math dept, and ask why that math department is teaching false and fake math, and if unable to change to the correct true math, well, simply fire that math department until they can find professors who recognize truth in math from fakery...."
--November 9, 2017
And if that wasn't weird enough...
“The totality, everything that there is [the universe], is only 1 atom of plutonium [Pu]. There is nothing outside or beyond this one atom of plutonium.”
--April 4, 1994
“The Universe itself is one gigantic big atom.”
--November 14, 2019
AP's sinister Atom God Cult of Failure???
“Since God-Pu is marching on.
Glory! Glory! Atom Plutonium!
Its truth is marching on.
It has sounded forth the trumpet that shall never call retreat;
It is sifting out the hearts of people before its judgment seat;
Oh, be swift, my soul, to answer it; be jubilant, my feet!
Our God-Pu is marching on.”
--December 15, 2018 (Note: Pu is the atomic symbol for plutonium)
Dan
Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com
Mostowski Collapse
Nov 27, 2022, 5:27:35 AM11/27/22
to
STUDENTS BEWARE: Don't be a victim of Dan Christensen 's fake
math and science. Dan Christensen is the Wonky Man that can even
not carry out a simple symmetry breaking proof.
math and science. Dan Christensen is the Wonky Man that can even
not carry out a simple symmetry breaking proof.
Mostowski Collapse
Nov 27, 2022, 6:19:06 AM11/27/22
to
Helping Wonky Man so much doesn't feel right. A student
should do his homework on his own to learn something.
Ok, one more piece of the puzzle revealed, this theorem:
Theorem specialize to b
37 ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b =>
[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] =>
x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 36
Proved from Theorem specialize to r and Theorem swap
---------------------------- begin proof --------------------------------------------------
Theorem specialize to r
1 ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=r => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Axiom
Theorem swap
2 ALL(x):ALL(b):ALL(r):ALL(y):ALL(z):[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]
=> [[x=b | x=r] & [y=b | y=r] & [z=b | z=r] => x=b & y=b | x=r & y=r | [x=b & z=b | x=r & z=r] | [y=b & z=b | y=r & z=r]]]
Axiom
3 ~ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Premise
4 ~ALL(x):ALL(r):ALL(b):ALL(y):~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 3
5 ~ALL(x):ALL(r):ALL(b):~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 4
6 ~ALL(x):ALL(r):~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 5
7 ~ALL(x):~EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 6
8 ~~EXIST(x):~~EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 7
9 EXIST(x):~~EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 8
10 EXIST(x):EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 9
11 EXIST(x):EXIST(r):EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 10
12 EXIST(x):EXIST(r):EXIST(b):EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 11
13 EXIST(x):EXIST(r):EXIST(b):EXIST(y):EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 12
14 EXIST(r):EXIST(b):EXIST(y):EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
E Spec, 13
15 EXIST(b):EXIST(y):EXIST(z):~[x=b => [[x=u | x=b] & [y=u | y=b] & [z=u | z=b] => x=u & y=u | x=b & y=b | [x=u & z=u | x=b & z=b] | [y=u & z=u | y=b & z=b]]]
E Spec, 14
16 EXIST(y):EXIST(z):~[x=v => [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
E Spec, 15
17 EXIST(z):~[x=v => [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
E Spec, 16
18 ~[x=v => [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
E Spec, 17
19 ~~[x=v & ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
Imply-And, 18
20 x=v & ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
Rem DNeg, 19
21 x=v
Split, 20
22 ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
Split, 20
23 ALL(r):ALL(b):ALL(y):ALL(z):[x=r => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
U Spec, 1
24 ALL(b):ALL(y):ALL(z):[x=v => [[x=v | x=b] & [y=v | y=b] & [z=v | z=b] => x=v & y=v | x=b & y=b | [x=v & z=v | x=b & z=b] | [y=v & z=v | y=b & z=b]]]
U Spec, 23
25 ALL(y):ALL(z):[x=v => [[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]]]
U Spec, 24
26 ALL(z):[x=v => [[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]]]
U Spec, 25
27 x=v => [[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]]
U Spec, 26
28 [x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
Detach, 27, 21
29 ALL(b):ALL(r):ALL(y):ALL(z):[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]
=> [[x=b | x=r] & [y=b | y=r] & [z=b | z=r] => x=b & y=b | x=r & y=r | [x=b & z=b | x=r & z=r] | [y=b & z=b | y=r & z=r]]]
U Spec, 2
30 ALL(r):ALL(y):ALL(z):[[x=r | x=u] & [y=r | y=u] & [z=r | z=u] => x=r & y=r | x=u & y=u | [x=r & z=r | x=u & z=u] | [y=r & z=r | y=u & z=u]
=> [[x=u | x=r] & [y=u | y=r] & [z=u | z=r] => x=u & y=u | x=r & y=r | [x=u & z=u | x=r & z=r] | [y=u & z=u | y=r & z=r]]]
U Spec, 29
31 ALL(y):ALL(z):[[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
=> [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
U Spec, 30
32 ALL(z):[[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
=> [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
U Spec, 31
33 [x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
=> [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
U Spec, 32
34 [x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]
Detach, 33, 28
35 ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
& [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
Join, 22, 34
36 ~~ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Conclusion, 3
37 ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 36
---------------------------- end proof --------------------------------------------------
should do his homework on his own to learn something.
Ok, one more piece of the puzzle revealed, this theorem:
Theorem specialize to b
37 ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b =>
[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] =>
x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 36
Proved from Theorem specialize to r and Theorem swap
---------------------------- begin proof --------------------------------------------------
Theorem specialize to r
1 ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=r => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Axiom
Theorem swap
2 ALL(x):ALL(b):ALL(r):ALL(y):ALL(z):[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]
=> [[x=b | x=r] & [y=b | y=r] & [z=b | z=r] => x=b & y=b | x=r & y=r | [x=b & z=b | x=r & z=r] | [y=b & z=b | y=r & z=r]]]
Axiom
3 ~ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Premise
4 ~ALL(x):ALL(r):ALL(b):ALL(y):~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 3
5 ~ALL(x):ALL(r):ALL(b):~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 4
6 ~ALL(x):ALL(r):~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 5
7 ~ALL(x):~EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 6
8 ~~EXIST(x):~~EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Quant, 7
9 EXIST(x):~~EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 8
10 EXIST(x):EXIST(r):~~EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 9
11 EXIST(x):EXIST(r):EXIST(b):~~EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 10
12 EXIST(x):EXIST(r):EXIST(b):EXIST(y):~~EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 11
13 EXIST(x):EXIST(r):EXIST(b):EXIST(y):EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 12
14 EXIST(r):EXIST(b):EXIST(y):EXIST(z):~[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
E Spec, 13
15 EXIST(b):EXIST(y):EXIST(z):~[x=b => [[x=u | x=b] & [y=u | y=b] & [z=u | z=b] => x=u & y=u | x=b & y=b | [x=u & z=u | x=b & z=b] | [y=u & z=u | y=b & z=b]]]
E Spec, 14
16 EXIST(y):EXIST(z):~[x=v => [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
E Spec, 15
17 EXIST(z):~[x=v => [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
E Spec, 16
18 ~[x=v => [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
E Spec, 17
19 ~~[x=v & ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
Imply-And, 18
20 x=v & ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
Rem DNeg, 19
21 x=v
Split, 20
22 ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
Split, 20
23 ALL(r):ALL(b):ALL(y):ALL(z):[x=r => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
U Spec, 1
24 ALL(b):ALL(y):ALL(z):[x=v => [[x=v | x=b] & [y=v | y=b] & [z=v | z=b] => x=v & y=v | x=b & y=b | [x=v & z=v | x=b & z=b] | [y=v & z=v | y=b & z=b]]]
U Spec, 23
25 ALL(y):ALL(z):[x=v => [[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]]]
U Spec, 24
26 ALL(z):[x=v => [[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]]]
U Spec, 25
27 x=v => [[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]]
U Spec, 26
28 [x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
Detach, 27, 21
29 ALL(b):ALL(r):ALL(y):ALL(z):[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]
=> [[x=b | x=r] & [y=b | y=r] & [z=b | z=r] => x=b & y=b | x=r & y=r | [x=b & z=b | x=r & z=r] | [y=b & z=b | y=r & z=r]]]
U Spec, 2
30 ALL(r):ALL(y):ALL(z):[[x=r | x=u] & [y=r | y=u] & [z=r | z=u] => x=r & y=r | x=u & y=u | [x=r & z=r | x=u & z=u] | [y=r & z=r | y=u & z=u]
=> [[x=u | x=r] & [y=u | y=r] & [z=u | z=r] => x=u & y=u | x=r & y=r | [x=u & z=u | x=r & z=r] | [y=u & z=u | y=r & z=r]]]
U Spec, 29
31 ALL(y):ALL(z):[[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
=> [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
U Spec, 30
32 ALL(z):[[x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
=> [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]]
U Spec, 31
33 [x=v | x=u] & [y=v | y=u] & [z=v | z=u] => x=v & y=v | x=u & y=u | [x=v & z=v | x=u & z=u] | [y=v & z=v | y=u & z=u]
=> [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
U Spec, 32
34 [x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]
Detach, 33, 28
35 ~[[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
& [[x=u | x=v] & [y=u | y=v] & [z=u | z=v] => x=u & y=u | x=v & y=v | [x=u & z=u | x=v & z=v] | [y=u & z=u | y=v & z=v]]
Join, 22, 34
36 ~~ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Conclusion, 3
37 ALL(x):ALL(r):ALL(b):ALL(y):ALL(z):[x=b => [[x=r | x=b] & [y=r | y=b] & [z=r | z=b] => x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
Rem DNeg, 36
---------------------------- end proof --------------------------------------------------
Mostowski Collapse
Nov 27, 2022, 3:52:12 PM11/27/22
to
The way Wonky Man is mentally inhibited is frightening.
It makes it so unlikely that he wrote DC Proof on his
own. He has not the slightest clue, he can even not read
a simple formulas as this:
[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] =>
x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
I am 100% convinced he doesn't understand the above
trivial formula. Its a very simple special case of
Ramsey, if we look at vertex color:
Every blue red triangle contains an unicolored edge.
https://en.wikipedia.org/wiki/Ramsey_theory
It makes it so unlikely that he wrote DC Proof on his
own. He has not the slightest clue, he can even not read
a simple formulas as this:
[[x=r | x=b] & [y=r | y=b] & [z=r | z=b] =>
x=r & y=r | x=b & y=b | [x=r & z=r | x=b & z=b] | [y=r & z=r | y=b & z=b]]]
trivial formula. Its a very simple special case of
Ramsey, if we look at vertex color:
Every blue red triangle contains an unicolored edge.
https://en.wikipedia.org/wiki/Ramsey_theory
0 new messages