Search the web
Sign In
New User? Sign Up
dcproof · DC Proof Users' Group
  • Members Only
  • Post
  • Files
  • Photos
  • Links
  • Database
  • Polls
  • Members
  • Calendar
  • Promote
  • Groups Labs (Beta)

Group Information

? Already a member? Sign in to Yahoo!

Yahoo! Groups Tips

Did you know...
Real people. Real stories. See how Yahoo! Groups impacts members worldwide.

Best of Y! Groups

   Check them out and nominate your group.
Stay up to speed on the latest Groups news and updates, visit the Groups blog today!

Home

  

Activity within 7 days:

New Questions

Description

A mailing list and forum for users of DC Proof, a freeware program to write mathematical proofs. Moderated by author, Dan Christensen

Visit DC Proof Online at
http://www.dcproof.com

Free Download

Most Recent Messages

  (View All)
(Group by Topic)
Search:
Advanced
    Start Topic
Re: The Classical Syllogism Revisited (Correction)
(I have tried to send this twice already without apparent success. Apologizing in advance for any duplication.) Below are the correct URL's for the proofs
Posted - Sat Sep 29, 2007 6:13 pm
 Dan Christensen
dcproof1
Offline Offline
Send Email Send Email
The Classical Syllogism Revisited
Dear members, I have included three new, very brief proofs illustrating a set theoretic interpretation of the classical syllogism in the latest version of the
Posted - Sat Sep 29, 2007 5:39 am
 dcproof1
Offline Offline
Send Email Send Email
Recursive Definitions in DC Proof
Dear members, I have been working on possible enhancements to DC Proof that I hope will make it easier to create recursive definitions of sets and functions.
Posted - Mon Apr 30, 2007 2:32 am
 dcproof1
Offline Offline
Send Email Send Email
New Release of DC Proof (Important Bug Fix)
Effective Immediately New Release of DC Proof, dated 2006-10-24 Includes: 1. Fixed bug in Universal Generalization module that would, on rare occasions, result
Posted - Tue Oct 24, 2006 8:06 pm
 Dan Christensen
dchris1953
Offline Offline
Send Email Send Email
[DC Proof] Re: New construction of add function (Fwd)
... (lines ... Sep. ... to ... [snip] My proof of Sep 13 was based on a construction of the set of functions of two variables mapping NxN -> N, and then taking
Posted - Mon Oct 16, 2006 1:45 pm
 Dan Christensen
dchris1953
Offline Offline
Send Email Send Email
Add dcproof to your personalized My Yahoo! page Add to My Yahoo! XML What's This?

Message History

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2007 1 2
2006 1 7 4 1 1 11 8
2005 3 3 2 13 7 3 1
2004 1 35 4 15 2 17 1 11 4 7
What is Yahoo! Answers?

Yahoo! Answers, a new Yahoo! community, is a question and answer exchange where the world gathers to share what they know...and make each other's day. People can ask questions on any topic, and help others out by answering their questions.

Hide this tip
What is Yahoo! Answers?

Yahoo! Answers, a new Yahoo! community, is a question and answer exchange where the world gathers to share what they know...and make each other's day. People can ask questions on any topic, and help others out by answering their questions.

Hide this tip

Questions in Computers & Internet > Software

  • Questions are currently unavailable.

Want to help answer other questions? Go to Yahoo! Answers

Group Email Addresses

Related Link: http://www.dcproof.com
Post message: dcproof@yahoogroups.com
Subscribe: dcproof-subscribe@yahoogroups.com
Unsubscribe: dcproof-unsubscribe@yahoogroups.com
List owner: dcproof-owner@yahoogroups.com
Copyright © 2007 Yahoo! Inc. All rights reserved.
Privacy Policy - Terms of Service - Guidelines - Help