Poughkeepsie Chapter of the Association For Computing Machinery

         AAA         CCCCCCC      MMMMM   MMMMM
       A   A       CC     CC     MM MM   MM MM
     AA   AA      CC      C     MM  MM MM  MM
   AAAAAAAAA     CC            MM   MMM   MM
  AA     AA     CC      C     MM    M    MM
 AA     AA     CC     CC     MM         MM
AA     AA      CCCCCCCC     MM         MM
ACM Chapter logo


Unsubstantiated Facts About Binary Gates


David M. Clark


Monday,       7:30 PM       (postponed from May 11)


In cyberspace. To obtain the URL for this video conference, you must register to attend through the Meetup.com announcement. Meetup.com/ACM-Poughkeepsie. Once you've done so, your Zoom link will appear on Meetup's page for this event.

More Information

This program is free and open to the public. Because our meeting is virtual, we will not hold our normal dinner beforehand at the Palace Diner.

For further information, go to Pok.ACM.org (QR code below):

QR code RSVP to ACM Poughkeepsie at   Meetup.com

About the Topic

The problem of finding switching circuit designs from a performance specification is known to be computationally unfeasible to solve by conventional methods.  Recent publications by the speaker have demonstrated that it can be quickly solved by evolutionary methods provided that the switching gate used is asymptotically complete (AC) and has no separating relations (NSR). These results are only of interest if gates that are AC and have NSR are reasonably common.  This talk will present startling empirical evidence that almost all gates are AC and have NSR.  Yet mathematical proofs of these "facts" have only been found in very isolated cases, and they otherwise remain open conjectures for anyone interested in trying to prove them.

About the Speaker

David Clark, Distinguished Emeritus Professor of Mathematics at SUNY New Paltz, has published contributions to mathematics in the fields of universal algebra, mathematical logic, mathematics education, neural networks and, in the past decade, evolutionary computation. He is a founder of and course notes editor for the widely used Journal of Inquiry-Based Learning in Mathematics. During his forty three years at SUNY New Paltz he held temporary research positions in Germany, Portugal, Switzerland, Canada and Australia, and spent nine years as department chair. During six years as associate dean, he founded the Scientific Colloquium Series, and led the establishment of an environmental science major. Along the way he pursued rock climbing and hang gliding while helping to raise five daughters, and he continues to be an active amateur astronomer.

To Print this Announcement