http://www.BillHowell.ca/Neural%20nets/James,%20Colin%20-%20four-valued%20logic,%20Meth8%20program/0_James,%20Colin%20-%20four-valued%20logic,%20Meth8%20program.txt /media/bill/SWAPPER/Website/Neural nets/James, Colin - four-valued logic, Meth8 program/0_James, Colin - four-valued logic, Meth8 program.txt Howell - Compilation of Colin James Kanban neuron & Meth8 logic.odt www.BillHowell.ca 23Nov2016 Howell - Incomplete gathering of emails from the past (mostly 2016) to accompany a printout of several key papers and results . Colin James has been working on what I call (out of my ignorance) "quadravalent logic" (Colin describes as L4 logic as invented by Jan Łucasiewicz ). Jeurgen (?Juergen? - I never get it right) Schmidhuber (http://www.idsia.ch/~juergen/) By the way, Jeurgen (?Juergen? - I never get it right) Schmidhuber (http://www.idsia.ch/~juergen/) has long been interested in Godel machines. I haven't followed that, and he may have strong views on where he is going, but he's the type of thinker who may be open to new ways of looking at things? Status as of ?date?: +-----+ 190625 Availability of Meth8/VŁ4 Manifest of files distributed in current release 2019 June 4 v.10 (2019.06.04.10): 1. Install programs: M8_installer.exe machine.exe 2. Logic system parameter file: meth8_parameter_file.txt meth8_parameter_file.txt.bak (backup) 3. $ 99.97 program of 4 propositional variables (p...s), 4 theorems (A...D): M8_04.exe 4. $149.97 program of 11 propositional variables (p...z), no theorems: M8_00.exe (companion program to M8_04.exe) 5. Meth8 input file for equations: METH8_INPUT_FILE.txt METH8_INPUT_FILE.txt.bak (backup) 6. Parsing anomalies: M8_parsing_anomalies.pdf Standard discounts apply to qualified resellers and university labs. ersatz-systems.com info@cec-services.com (719) 210-9534 Copyright 2019 by Colin James III All rights reserved. ********************************************************************************* *********** -------- Forwarded Message -------- Subject: Re: WCCI2020 Glasgow, Scotland - Call for papers Date: Tue, 25 Jun 2019 12:30:11 -0600 From: info@cec-services.com To: Bill Howell. Hussar. Alberta. Canada CC: dwcorne@gmail.com, bhammer@techfak.uni-bielefeld.de, B.Buchanan@napier.ac.uk, elpwang@ntu.edu.sg, levine@uta.edu Dear Bill, Dan, and Committee Reps: Where should I try to fit in for cross-fertilization at WCCI2020: Special Session, Tutorial, or Workshop (a) modal logic model checking of (b) AI conjectures using (c) universal logic; or Competition of the same (a), (b), (c)? Attached is what I have now as a 29-page abstract and 906-page results (81% refutation rate on 3100 assertions in 550 artifacts). Examples for artificial intelligence are at: p 229 to refute description logic, and pp 325/7 to refute Gobbay's separation theorem in temporal reasoning. The universal logic as an executable package is also available for university computer labs, attached as a manifest. Very truly yours, A clansman, Aye, -- ******************** -------- Forwarded Message -------- Subject: Fwd: Re: Answers which beg the question: contempt prior to investigation Date: Thu, 21 Mar 2019 05:23:02 -0600 From: info@cec-services.com From a well known scientist: Dear Colin, Yes indeed. StackExchange is censored by standard modellers. ResearchGate is too, but not so severely. ArXiv is a farce too. There is no possibility of converting any of these people to reason. They must be thoroughly exposed so that people will just laugh at them. In response to: As an experiment, I posted a question on stackexchange.com in the math area. If non Euclidean geometry (hyperbolic or elliptical) is refuted, then does that render the Riemann hypothesis as moot? Result was three answers before the title was put on hold below by five writers: 1. No, the Riemann hypothesis is still interesting, regardless of the status of elementary geometry. – GEdgar yesterday 2. How does one refute something that exists? – Randall yesterday 3. Welcome to Math Stack Exchange. Do you know what the Riemann hypothesis says? How is it related to geometry? – J. W. Tanner yesterday Title adulterated: Rendering of Riemann hypothesis as moot if non Euclidean geometry (hyperbolic or elliptical) is refuted? [on hold] put on hold as unclear what you're asking by Hans Lundmark, lulu, Andrés E. Caicedo, Lee Mosher, s.harp 21 hours ago I subsequently edited the question with a comment to this effect: Question is well formed. Subsequent peer review of edited question is unnecessary. Four responses including put on hold by five is sufficient for me. My experimental results are that stackexchange.com, researchgate.net, and arxiv.org share the common thread of rank censorship by a Kabal as based on the universal academic principle of contempt prior to investigation. ******************** -------- Forwarded Message -------- Subject: VL4 is the universal logic system Date: Thu, 7 Feb 2019 21:40:31 -0700 From: info@cec-services.com Abstract: Using Meth8/VŁ4, we evaluate 408 artifacts in 2252 assertions to confirm 442 as tautology and 1810 as not (80.4%). The logic systems tested as not tautologous become invalid fragments of VŁ4, and the logic systems tested as tautologous become valid fragments of VŁ4. What follows is that logic system VŁ4 is the universal logic system. We direct the reader to over 600 pages of results at: vixra.org/abs/1901.0415 . -- ********************************* -------- Forwarded Message -------- Subject: Re: neutrosophic set and logic - applications Date: Fri, 8 Dec 2017 15:50:04 -0700 From: info@cec-services.com To: Bill Howell. Hussar. Alberta. Canada Thanks Bill. I would consider a special session contra Neutrosophic 3-valued logic sets { male, female,neuter }, but don't have funding to get there. My self-funded research got spent. Attached is the current abstract of the 211-page book of results from testing; chances are you'll see something there of interest, so request the subject tested from me to be forwarded. BTW, the Godel-incompleteness proof caused Martin Davis to be discredited (dementia?) when he proclaimed, "The authors misunderstand and spout nonsense." Colin -------- Forwarded Message -------- Subject: Re: neutrosophic set and logic - applications Date: Fri, 8 Dec 2017 10:51:29 -0700 From: Bill Howell. Hussar. Alberta. Canada To: Colin James. Director. Ersatz Systems Machine Cognition - Phil Logic - CEC Services. Colorado Springs Thanks, Colin - I accidentally sent my email as "WCCI2018-Rio_de_Janeiro", so your reply was buried in ~700 email responses (mostly robot) to my mass email yesterday. I accidentally spotted it just now (stroke of luck, as I usually wait a week before processing the responses, as they trickle in over a week or two). I forwarded your name to Maria Popa as a contact - hopefully others in that community are more able to consider similar related work and collaborations. I made a mistake about a "conference" that actually was not mentioned in her email. Perhaps this is something you could consider - a special session on that topic sometime in the future, including any open-minded "neutrosophic" community members. vixra - interesting wording - must be a play on arXiv? But it's really good that you have a site for people to visit (apparently since at least 2014, but I hadn't flagged it from your emails). I trust everything is going well for you... Bill -------- Forwarded Message -------- Subject: Re: neutrosophic set and logic - applications Date: Fri, 8 Dec 2017 10:25:24 -0700 From: info@cec-services.com To: WCCI2018-Rio_de_Janiero Bill, Good to hear from you about your current projects! Thank you for the neutrosophic stuff. It's promoter, Professor Smarandache at UNM Gallop, refuses to correspond with me so far. Please see this site for my papers showing every aspect tested of neutrosophic set and logics is not tautologous (that is, refuted), including their basis, the Zadeh fuzzy set: http://vixra.org/setlog/ Colin *********************************** -------- Forwarded Message -------- Subject: WCCI2018 Rio de Janeiro - General Inquiry Date: Thu, 10 Aug 2017 07:05:35 -0600 From: Colin James. Director. Ersatz Systems Machine Cognition - Phil Logic - CEC Services. Colorado Springs To: CC: WCCI2018-Rio_de_Janiero@BillHowell.ca Dear Professor : We recently applied the four-valued logic of the Kanban cell neuron (two previous papers presented at IJCNN) to our logic model checker named Meth8. I gave a talk at 2nd World Congress on Religion and Logic in Warsaw (using Meth8 on Karl Popper's proof of God as an example). Professor Gianfranco Basti, Philosophy Chair of Pontifical Lateran University, Vatican, who spoke third after me, gave this a perfect mark. We also use Meth8 to evaluate 93 well known conjectures in math and physics. We validated 21 as true (23%), and 72 as not true (77%). An extended abstract of results is attached. Is there a place to present these results and details of each proof at WCCI2018? Very truly yours, Colin James III -------- Forwarded Message -------- Subject: RE: WCCI2018 Rio de Janeiro - General Inquiry Date: Sat, 12 Aug 2017 18:14:56 -0600 From: WCCI2018-Rio_de_Janiero To: Colin James. Director. Ersatz Systems Machine Cognition - Phil Logic - CEC Services. Colorado Springs <...> Colin - It's great to see that your work is being noticed and seen! I don't know yet if I will make it to WCCI2018 Rio - my already tight retirement budget has taken heavy hits lately to support family members, and we soon will have to get may father into an assisted care senior's place. All the best, Mr. Bill Howell 1-587-707-2027 Bill@BillHowell.ca www.BillHowell.ca P.O. Box 299, Hussar, Alberta, T0J1S0 WCCI2018 Rio de Janiero : Publicity committee, mass emails http://www.ecomp.poli.br/~wcci2018/committees/ member - International Neural Network Society (INNS), IEEE Computational Intelligence Society (IEEE-CIS) IJCNN2017 Anchorage Publications Chair, mass emails, www.ijcnn.org # endpage