JohnHalleck's user avatar
JohnHalleck's user avatar
JohnHalleck's user avatar
JohnHalleck
  • Member for 9 years, 6 months
  • Last seen more than 3 years ago
  • Utah, USA
About

B.S. in Computer Science. I had, by that time, also taken all the graduate courses in formal logic topics offered by the Philosophy department.

Retired Sr. Systems Programmer, University of Utah.

Serious interests in Mathematics. Strong and serious interests in Logic. (I've answered open questions in the area of single axioms for logic systems.) I have a particular interest in, and have found new results in, the conditions under which a logic system must have a single axiom basis. [Expanding Tarski's result of 1930.]

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
2
Score
1
Posts
100
Posts %
2
Score
1
Posts
100
Posts %
Top posts