Minor bug fix. Release date: today.

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com

Linda Hasenfratz, Dan is a failure of logic and math, why not move him over to sci.logic where no-one cares what the failure says.

Linda Hasenfratz,Univ Western Ontario, when is Dan Christensen ever going to learn that Boole was wrong with his Logic truth tables, that he unfortunately switched around AND for OR, for the true AND truth table is TTTF not TFFF, for Boole's mistake leads to 2 OR 1 = 3 with AND as subtraction, yet your Dan Christensen is too sexed up or too dumb to teach our young students the truth of science.
> DAN AND HIS LOVER JAN NEEDS TO GO OVER TO SCI.LOGIC, NO-ONE WILL BOTHER THEM THERE, instead they have this stupid game of filling up sci.math with their ignorant insane 2 OR 1 = 3 with AND as subtraction.

On Sunday, October 16, 2022 at 11:07:10 PM UTC-5, Dan Christensen wrote:
> On Sunday, October 16, 2022 at 10:39:13 PM UTC-4, Mostowski Collapse wrote:
> Pay attention, Jan Burse.

> On Monday, October 21, 2019 at 1:29:49 PM UTC-5, Dan Christensen wrote:
> >
> > Are you ready, kids??? Bend over, er...
> >
> > Dan
>

So, is this how you teach students, Dan, the bend over....


> Univ Toronto, physics, Gordon F. West, Michael B. Walker, Henry M. Van Driel, David J. Rowe, John W. Moffat, John F. Martin, Robert K. Logan, Albert E. Litherland, Roland List, Philipp Kronberg, James King, Anthony W. Key, Bob Holdom, Ron M. Farquhar, R. Nigel Edwards, David J. Dunlop, James Drummond, Tom E. Drake, R.Fraser Code, Richard C. Bailey, Robin Armstrong
>
> Chancellor Rose M. Patten
> Pres. Meric Gertler
>
> Univ Toronto math dept
> Mustafa Akcoglu, Spyros Alexakis, Edward Barbeau, Thomas Bloom, Man-Duen Choi, Stephen Cook, Chandler Davis, Nicholas Derzko, Eric Ellers, Ilya Gekhtman, Ian Graham, Steve Halpern, Wahidul Haque, Abe Igelfeld, Velimir Jurdjevic, Ivan Kupka, Anthony Lam, Michael Lorimer, James McCool, Eric Mendelsohn, Kunio Murasugi, Jeremy Quastel, Peter Rosenthal, Paul Selick, Dipak Sen, Rick Sharpe, Stuart Smith, Frank Tall, Steve Tanny
> Univ Western Ontario math dept
> Janusz Adamus, Tatyana Barron, Dan Christensen, Graham Denham, Ajneet Dhillon, Matthias Franz, John Jardine, Massoud Khalkhali, Nicole Lemire, Jan Mináč, Victoria Olds, Martin Pinsonnault, Lex Renner, David Riley, Rasul Shafikov, Gordon Sinnamon
>
> Chancellor Linda Hasenfratz
> President Alan Shepard
> Amit Chakma (chem engr)
>
> Univ. Western Ontario physics dept
> Pauline Barmby, Shantanu Basu, Peter Brown, Alex Buchel, Jan Cami, Margret Campbell-Brown, Blaine Chronik, Robert Cockcroft, John R. de Bruyn, Colin Denniston, Giovanni Fanchini, Sarah Gallagher, Lyudmila Goncharova, Wayne Hocking, Martin Houde, Jeffrey L. Hutter, Carol Jones, Stan Metchev, Silvia Mittler, Els Peeters, Robert Sica, Aaron Sigut, Peter Simpson, Mahi Singh, Paul Wiegert, Eugene Wong, Martin Zinke-Allmang
>
>
> 
> On Monday, October 21, 2019 at 1:29:49 PM UTC-5, Dan Christensen wrote:
> >
> > Are you ready, kids??? Bend over, er...
> >
> > Dan
>
>
> Re: 81,045-Student victims of Rose M. Patten Univ Toronto from stalker Dan Christensen teaching 10 OR 2 = 12 with AND as subtraction, never a geometry proof of Fundamental Theorem of Calculus Univ Toronto, physics, Gordon F. West, Michael B. Walker
> by Frank Cassa 12Apr2021 7:00 AM
>
>
>
> Re: 7,744-Student victims of Linda Hasenfratz Univ Western Ontario from stalker Dan Christensen teaching 10 OR 2 = 12 with AND as subtraction, never a geometry proof of Fundamental Theorem of Calculus Chancellor Linda Hasenfratz President Alan Shepard
> 11:53 AM 10Apr2021
> by Wayne Decarlo
>
> Re: 102,852-Student victims of Dominic Barton, Univ Waterloo from stalker Dan Christensen teaching 10 OR 2 = 12 with AND as subtraction, never a geometry proof of Fundamental Theorem of Calculus Dominic Barton, President Feridun Hamdullahpur physics
> by konyberg Apr 15, 2021, 3:09:41 PM
>
> Re: 176,232-Student Victims of Michael Meighen McGill Univ by Dan Christensen teaching 10 OR 2 = 12 with AND as subtraction, never a geometry proof of Fundamental Theorem of Calculus... 0.5MeV electron when in truth it is the muon as the real electron
> by Dan Christensen Jul 2, 2021, 9:47:42 AM
>
>
> Re: 135,568 Student victims Queen's Univ. James Leech, Arthur B. McDonald by Dan Christensen teaching 10 OR 2 = 12 with AND as subtraction, never a geometry proof of Fundamental Theorem of Calculus-- his mindless electron =0.5MeV when real electron of
> May 10, 2021
> by Professor Wordsmith
>
> Re: 135,566 Student victims Queen's Univ. James Leech, Arthur B. McDonald by Dan Christensen teaching 10 OR 2 = 12 with AND as subtraction, never a geometry proof of Fundamental Theorem of Calculus-- his mindless electron =0.5MeV when real electron o
> May 10, 2021
> by Michael Moroney

It would be maybe more wise to make your tool
open source and available through some Git.

And your change doesn't affect this proof,
this proof doesn't use Arb Or Rule:

56 EXIST(x):[P(x) & [D(x) => ALL(y):[P(y) => D(y)]]]
Cases, 54, 55
https://groups.google.com/g/sci.logic/c/a7zRnh2NUdw/m/7EM0G94WAgAJ

The above proof shows, that the Russell Paradox and/or
related Set Theory are not needed.

Dan Christensen schrieb am Dienstag, 18. Oktober 2022 um 23:12:55 UTC+2:
> Minor bug fix. Release date: today.
>
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

There is also a further bug in DC Proof.

When I enter this here:

[A => B] => C

It shows this here:

A => B => C

But this is wrong, the later is usually read as:

A => [B => C]

Wrong associativity of (=>)/2 operator.

Mostowski Collapse schrieb am Dienstag, 18. Oktober 2022 um 23:30:44 UTC+2:
> It would be maybe more wise to make your tool
> open source and available through some Git.
>
> And your change doesn't affect this proof,
> this proof doesn't use Arb Or Rule:
>
> 56 EXIST(x):[P(x) & [D(x) => ALL(y):[P(y) => D(y)]]]
> Cases, 54, 55
> https://groups.google.com/g/sci.logic/c/a7zRnh2NUdw/m/7EM0G94WAgAJ
>
> The above proof shows, that the Russell Paradox and/or
> related Set Theory are not needed.
> Dan Christensen schrieb am Dienstag, 18. Oktober 2022 um 23:12:55 UTC+2:
> > Minor bug fix. Release date: today.
> >
> > Dan
> >
> > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > Visit my Math Blog at http://www.dcproof.wordpress.com

On Tuesday, October 18, 2022 at 5:49:05 PM UTC-4, Mostowski Collapse wrote:

> Mostowski Collapse schrieb am Dienstag, 18. Oktober 2022 um 23:30:44 UTC+2:
> > It would be maybe more wise to make your tool
> > open source and available through some Git.
> >
> > And your change doesn't affect this proof,
> > this proof doesn't use Arb Or Rule:
> >
> > 56 EXIST(x):[P(x) & [D(x) => ALL(y):[P(y) => D(y)]]]
> > Cases, 54, 55
> > https://groups.google.com/g/sci.logic/c/a7zRnh2NUdw/m/7EM0G94WAgAJ
> >
> > The above proof shows, that the Russell Paradox and/or
> > related Set Theory are not needed.
> > Dan Christensen schrieb am Dienstag, 18. Oktober 2022 um 23:12:55 UTC+2:
> > > Minor bug fix. Release date: today.

> There is also a further bug in DC Proof.
>
> When I enter this here:
>
> [A => B] => C
>
> It shows this here:
>
> A => B => C
>

As it should. In DC Proof, for consistency, all binary operators are left associative (read from left to right). Deal with it, Jan Burse.

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com

STUDENTS BEWARE: Don't be a victim of AP's fake math and science

On Tuesday, October 18, 2022 at 5:28:52 PM UTC-4, Archimedes Plutonium wrote:
> ... Dan Christensen ...

[snip]

There you go again, Archie Poo! When will you learn? Once again...

From his antics here at sci.math, it is obvious that AP has abandoned all hope 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 Tuesday, October 18, 2022 at 11:49:05 PM UTC+2, Mostowski Collapse wrote:

> A => B => C
>
> [this] is usually read as:
>
> A => [B => C]

For example:

"Implication is right associative, i.e. we read P -> Q -> R as P -> (Q -> R)."

Source: https://www.cs.nott.ac.uk/~psztxa/g52ifr/html/Prop.html

On Wednesday, October 19, 2022 at 12:26:53 AM UTC+2, Dan Christensen wrote:
> On Tuesday, October 18, 2022 at 5:49:05 PM UTC-4, Mostowski Collapse wrote:
> >
> > When I enter this here:
> >
> > [A => B] => C
> >
> > It shows this here:
> >
> > A => B => C
> >
> As it should. In <bla>

No, IT SHOULDN'T, you silly crank.

HINT: "When you enter p⇒q⇒r in Mathematica (with p \[Implies] q \[Implies] r), it displays p⇒(q⇒r)."

On Tuesday, October 18, 2022 at 6:29:14 PM UTC-4, Fritz Feldhase wrote:
> On Tuesday, October 18, 2022 at 11:49:05 PM UTC+2, Mostowski Collapse wrote:
>
> > A => B => C
> >
> > [this] is usually read as:
> >
> > A => [B => C]
> For example:
>
> "Implication is right associative, i.e. we read P -> Q -> R as P -> (Q -> R)."
>
> Source: https://www.cs.nott.ac.uk/~psztxa/g52ifr/html/Prop.html

Thanks for the info, but I prefer the more natural left associativity. One less bizarre exception to explain to students.

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com

On Wednesday, October 19, 2022 at 12:38:05 AM UTC+2, Dan Christensen wrote:

> Thanks for the info, but I prefer

to stay a crank.

Yeah, we know that already, Dan.

Actually, you are the prototyp of a crank.

No you need to change it. Its wrong.
Nothing to do with consistency.

Dan Christensen schrieb am Mittwoch, 19. Oktober 2022 um 00:38:05 UTC+2:
> On Tuesday, October 18, 2022 at 6:29:14 PM UTC-4, Fritz Feldhase wrote:
> > On Tuesday, October 18, 2022 at 11:49:05 PM UTC+2, Mostowski Collapse wrote:
> >
> > > A => B => C
> > >
> > > [this] is usually read as:
> > >
> > > A => [B => C]
> > For example:
> >
> > "Implication is right associative, i.e. we read P -> Q -> R as P -> (Q -> R)."
> >
> > Source: https://www.cs.nott.ac.uk/~psztxa/g52ifr/html/Prop.html
> Thanks for the info, but I prefer the more natural left associativity. One less bizarre exception to explain to students.
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

On Tuesday, October 18, 2022 at 6:48:02 PM UTC-4, Fritz Feldhase wrote:
> On Wednesday, October 19, 2022 at 12:38:05 AM UTC+2, Dan Christensen wrote:
>
[snip childish abuse]
>
> Yeah, we know that already, Dan.
>

K.I.S.S.

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com

I can still prove it, case a, in the case a and case b proof,
i was using one axiom from the natural numbers axioms
that one can call from the menu of DC Proof,

was using the brand new dcproof19.exe:

/* case a of case a and case b */
7 ALL(y):D(y) => EXIST(x):[D(x) => ALL(y):D(y)]
Conclusion, 2

The rest would then work like here:

27 EXIST(x):[D(x) => ALL(y):D(y)]
Cases, 25, 26
https://groups.google.com/g/sci.logic/c/a7zRnh2NUdw/m/1mnsYfgaAgAJ

---------------------------------- begin proof -------------------------------------

1 1 ε n
Axiom

2 ALL(y):D(y)
Premise

3 ~D(1) | ALL(y):D(y)
Arb Or, 2

4 ~~D(1) => ALL(y):D(y)
Imply-Or, 3

5 D(1) => ALL(y):D(y)
Rem DNeg, 4

6 EXIST(x):[D(x) => ALL(y):D(y)]
E Gen, 5

7 ALL(y):D(y) => EXIST(x):[D(x) => ALL(y):D(y)]
Conclusion, 2

----------------------------- end proof ----------------------------------------------------------------------

On 10/18/2022 2:12 PM, Dan Christensen wrote:
> Minor bug fix. Release date: today.
>
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Are you going to release your source code? Is it in VB 6?

On Tuesday, October 18, 2022 at 7:45:53 PM UTC-4, Chris M. Thomasson wrote:
> On 10/18/2022 2:12 PM, Dan Christensen wrote:
> > Minor bug fix. Release date: today.
> >
> > Dan
> >
> > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > Visit my Math Blog at http://www.dcproof.wordpress.com
> Are you going to release your source code?

No.

Is it in VB 6?

Yes.

Dan

On Tuesday, October 18, 2022 at 7:41:01 PM UTC-4, Mostowski Collapse wrote:
> I can still prove it, case a, in the case a and case b proof,
> i was using one axiom from the natural numbers axioms
> that one can call from the menu of DC Proof,
>
> was using the brand new dcproof19.exe:
>
> /* case a of case a and case b */
> 7 ALL(y):D(y) => EXIST(x):[D(x) => ALL(y):D(y)]
> Conclusion, 2
>
> The rest would then work like here:
>
> 27 EXIST(x):[D(x) => ALL(y):D(y)]
> Cases, 25, 26
> https://groups.google.com/g/sci.logic/c/a7zRnh2NUdw/m/1mnsYfgaAgAJ
>
> ---------------------------------- begin proof -------------------------------------
>
> 1 1 ε n
> Axiom
>
> 2 ALL(y):D(y)
> Premise
>
> 3 ~D(1) | ALL(y):D(y)
> Arb Or, 2
>
> 4 ~~D(1) => ALL(y):D(y)
> Imply-Or, 3
>
> 5 D(1) => ALL(y):D(y)
> Rem DNeg, 4
>
> 6 EXIST(x):[D(x) => ALL(y):D(y)]
> E Gen, 5
>
> 7 ALL(y):D(y) => EXIST(x):[D(x) => ALL(y):D(y)]
> Conclusion, 2
>

Sorry, Jan Burse, but your proof is STILL a monstrosity -- even more so with your new axiom.

Dan

Dan Christensen doesn't open source is tool, since everybody
would see that he didn't write it on his own. If he would have
written on his own, he would understand DC Proof to the

extend that he can follow this line of argument which is
based on the Smullyan Book, and fabricate a proof. But
he cannot do so, he doesn't understand:

"Let us look at it this way: Either it is true that everybody
drinks or it isn't. Suppose it is true that everybody drinks.
Then take any person—call him Jim. Since everybody
drinks and Jim drinks, then it is true that if Jim drinks
then everybody drinks. So there is at least one person—
namely Jim—such that if he drinks then everybody drinks.

Suppose, however, that it is not true that everybody drinks;
what then? Well, in that case there is at least one person—
call him Jim—who doesn't drink. Since it is false that Jim
drinks, then it is true that if Jim drinks, everybody drinks.
So again there is a person—namely Jim—
such that if he drinks, everybody drinks."

chapter 14. How to Prove Anything. (topic)
250. The Drinking Principle. pp. 209-211
https://archive.org/details/whatisnameofthis00smul

The same is clearly outline here:

27 EXIST(x):[D(x) => ALL(y):D(y)]
Cases, 25, 26
https://groups.google.com/g/sci.logic/c/a7zRnh2NUdw/m/1mnsYfgaAgAJ

But Dan Christensen aka Wony Man doesn't understand
the proof idea and cannot produce a proof.

Dan Christensen schrieb am Mittwoch, 19. Oktober 2022 um 02:01:22 UTC+2:
> On Tuesday, October 18, 2022 at 7:45:53 PM UTC-4, Chris M. Thomasson wrote:
> > On 10/18/2022 2:12 PM, Dan Christensen wrote:
> > > Minor bug fix. Release date: today.
> > >
> > > Dan
> > >
> > > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > > Visit my Math Blog at http://www.dcproof.wordpress.com
> > Are you going to release your source code?
> No.
> Is it in VB 6?
> Yes.
>
> Dan

This is quite amasing since mathematics is thought to
be a science which has a communicable element,
namely for example proofs. Mathematicians should be

able to exchange proofs. This fails for Dan Christensen, since
a) he only understands natural deduction nothing else,
b) and if it is natural deduction it must be free logic,

c) and if it is natural deduction with free logic it
nust be DC Proof. So the mytseries of Smullyans Book
will be for ever a book a sealed book, hidden trove,

not accessible to Wonky Man aka Dan Christensen.

Mostowski Collapse schrieb am Mittwoch, 19. Oktober 2022 um 02:09:45 UTC+2:
> Dan Christensen doesn't open source is tool, since everybody
> would see that he didn't write it on his own. If he would have
> written on his own, he would understand DC Proof to the
>
> extend that he can follow this line of argument which is
> based on the Smullyan Book, and fabricate a proof. But
> he cannot do so, he doesn't understand:
>
> "Let us look at it this way: Either it is true that everybody
> drinks or it isn't. Suppose it is true that everybody drinks.
> Then take any person—call him Jim. Since everybody
> drinks and Jim drinks, then it is true that if Jim drinks
> then everybody drinks. So there is at least one person—
> namely Jim—such that if he drinks then everybody drinks.
>
> Suppose, however, that it is not true that everybody drinks;
> what then? Well, in that case there is at least one person—
> call him Jim—who doesn't drink. Since it is false that Jim
> drinks, then it is true that if Jim drinks, everybody drinks.
> So again there is a person—namely Jim—
> such that if he drinks, everybody drinks."
>
> chapter 14. How to Prove Anything. (topic)
> 250. The Drinking Principle. pp. 209-211
> https://archive.org/details/whatisnameofthis00smul
>
> The same is clearly outline here:
> 27 EXIST(x):[D(x) => ALL(y):D(y)]
> Cases, 25, 26
> https://groups.google.com/g/sci.logic/c/a7zRnh2NUdw/m/1mnsYfgaAgAJ
> But Dan Christensen aka Wony Man doesn't understand
> the proof idea and cannot produce a proof.
> Dan Christensen schrieb am Mittwoch, 19. Oktober 2022 um 02:01:22 UTC+2:
> > On Tuesday, October 18, 2022 at 7:45:53 PM UTC-4, Chris M. Thomasson wrote:
> > > On 10/18/2022 2:12 PM, Dan Christensen wrote:
> > > > Minor bug fix. Release date: today.
> > > >
> > > > Dan
> > > >
> > > > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > > > Visit my Math Blog at http://www.dcproof.wordpress.com
> > > Are you going to release your source code?
> > No.
> > Is it in VB 6?
> > Yes.
> >
> > Dan

On Tuesday, October 18, 2022 at 8:09:45 PM UTC-4, Mostowski Collapse wrote:
> Dan Christensen doesn't open source is tool, since everybody
> would see that he didn't write it on his own.

I'm flattered that you think so, Jan Burse!

Dan

You stole it, and now we have an instance of:

"A fool with a tool, is still a fool"
— Grady Booch

Dan Christensen schrieb am Mittwoch, 19. Oktober 2022 um 02:14:25 UTC+2:
> On Tuesday, October 18, 2022 at 8:09:45 PM UTC-4, Mostowski Collapse wrote:
> > Dan Christensen doesn't open source is tool, since everybody
> > would see that he didn't write it on his own.
> I'm flattered that you think so, Jan Burse!
>
> Dan

How it started:
"Call me a joker, call me a fool, right
at this moment I'm totally cool."
"Even a fool gets to be young once."
"Only a fool expects to be happy all the time."

How its going:
"No one but a fool is always right."
"There is, they say, no fool like an old fool."
"Only a fool trips on what's behind them."

Mostowski Collapse schrieb:
> You stole it, and now we have an instance of:
>
> "A fool with a tool, is still a fool"
> — Grady Booch
>
> Dan Christensen schrieb am Mittwoch, 19. Oktober 2022 um 02:14:25 UTC+2:
>> On Tuesday, October 18, 2022 at 8:09:45 PM UTC-4, Mostowski Collapse wrote:
>>> Dan Christensen doesn't open source is tool, since everybody
>>> would see that he didn't write it on his own.
>> I'm flattered that you think so, Jan Burse!
>>
>> Dan

On Tuesday, October 18, 2022 at 8:18:48 PM UTC-4, Mostowski Collapse wrote:
> You stole it,

I'm flattered that the you think my creation could only be that of some kind of mathematical genius.

Dan

On 10/18/2022 5:01 PM, Dan Christensen wrote:
> On Tuesday, October 18, 2022 at 7:45:53 PM UTC-4, Chris M. Thomasson wrote:
>> On 10/18/2022 2:12 PM, Dan Christensen wrote:
>>> Minor bug fix. Release date: today.
>>>
>>> Dan
>>>
>>> Download my DC Proof 2.0 freeware at http://www.dcproof.com
>>> Visit my Math Blog at http://www.dcproof.wordpress.com
>> Are you going to release your source code?
>
> No.
>
> Is it in VB 6?
>
> Yes.

I still have VB 6 installed on several old computers for maintaining
legacy DB programs from more than 20 years ago. Have you hooked it up
with msWord yet? Its fun to use the vbo, or was it vba? Create detailed
reports, all formatted and pretty. ;^) Have use used ms access? It
interfaces quite nicely with VB 6.

On 10/18/2022 8:01 PM, Chris M. Thomasson wrote:
> On 10/18/2022 5:01 PM, Dan Christensen wrote:
>> On Tuesday, October 18, 2022 at 7:45:53 PM UTC-4, Chris M. Thomasson
>> wrote:
>>> On 10/18/2022 2:12 PM, Dan Christensen wrote:
>>>> Minor bug fix. Release date: today.
>>>>
>>>> Dan
>>>>
>>>> Download my DC Proof 2.0 freeware at http://www.dcproof.com
>>>> Visit my Math Blog at http://www.dcproof.wordpress.com
>>> Are you going to release your source code?
>>
>> No.
>>
>> Is it in VB 6?
>>
>> Yes.
>
> I still have VB 6 installed on several old computers for maintaining
> legacy DB programs from more than 20 years ago. Have you hooked it up
> with msWord yet? Its fun to use the vbo, or was it vba? Create detailed
> reports, all formatted and pretty. ;^) Have use used ms access? It
> interfaces quite nicely with  VB 6.
>

I actually managed to get an old version of ms word, because I still
maintain the database, installed and working on windows 11! lol.

https://i.ibb.co/bQxJX1S/image.png

On Tuesday, October 18, 2022 at 11:01:20 PM UTC-4, Chris M. Thomasson wrote:
> On 10/18/2022 5:01 PM, Dan Christensen wrote:
> > On Tuesday, October 18, 2022 at 7:45:53 PM UTC-4, Chris M. Thomasson wrote:
> >> On 10/18/2022 2:12 PM, Dan Christensen wrote:
> >>> Minor bug fix. Release date: today.
> >>>
> >>> Dan
> >>>
> >>> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> >>> Visit my Math Blog at http://www.dcproof.wordpress.com
> >> Are you going to release your source code?
> >
> > No.
> >
> > Is it in VB 6?
> >
> > Yes.
> I still have VB 6 installed on several old computers for maintaining
> legacy DB programs from more than 20 years ago. Have you hooked it up
> with msWord yet? Its fun to use the vbo, or was it vba? Create detailed
> reports, all formatted and pretty. ;^) Have use used ms access? It
> interfaces quite nicely with VB 6.

Files in DC Proof are just low-tech flat (binary?) files. It has been a several years since I did anything with the file structure--not since I created the Windows version in 2004. Before that I had a VBDOS version, but it wasn't available online. The current version is a very small app--only about 1.2 Mb. The downloadable exe file (about 2.9 Mb) can be downloaded and installed in less than a minute with a high speed connection.

Dan