User talk:Raherrmann

For those who might be interested, I have a B.A., M.A. and Ph.D., all being in mathematics. My M.A. thesis is in topology and my Ph. D. dissertation is in nonstandard topology and a large portion was published in 1975. I have 73 peer reviewed publications of which 60% are in nonstandard analysis and its applications to such as areas as general and universal logic. I spent 42 years as a mathematics instructor, 36 of which are as a Professor of Mathematics.

Nonstandard Analysis
On June 28, 2006, I added to the article on NSA a useful book reference that is available free of charge. This book is a re-write of my 1984 book used at Kobe University. This book shows how some of the significant basic results in nonstandard analysis can be obtained only using a type of simple ultrapower construction over an ultrafilter that contains the cofinite filter of natural numbers. No other special conditions are needed such as the nonstandard model being an enlargement. However, this fact does sometimes lead to "proofs" that are somewhat more complex in structure.

On 1 July 2006, I added the fact that Robinson stated in his original book, that the ultrafilter lemma can be used to obtain the main results in his nonstandard analysis. Connes' criticism is really about the axiom of choice since all the "proofs" I have seen that use infinitesimals to obtain a non-measurable set of reals use the axiom of choice. From the very beginning of this subject, it was known that free ultrafilters could be successfully employed to obtain the same basic results.

Consequence operators
On 1 July 2006, I created the page on the "consequence operator." I need to put two other short pages on Wikipedia, one that redirects from nonstandard consequence operators to this one and a page on the definition of the general logic-system. The redirects were completed on 6 July 2006. I have completed the paper on general logic-systems.

General Grand Unification Model
I intend to construct a page on this model. Unfortunately, it tends to be controversial not due to the content of the actual model but due to its applications that are exterior the model itself. Certain interpretations can be ignored as is the case with other mathematical models for physical behavior. Some individuals allow their presuppositions to cloud their minds and this prevents a proper recognition as to the significance of the GGU-model.

General intelligent design
Welcome to Wikipedia! We could really use your help to create new content, but your recent additions (such as General intelligent design) are considered nonsense. Please refrain from creating nonsense articles. Take a look at the welcome page if you would like to learn more about contributing to our encyclopedia. &mdash; Arthur Rubin | (talk) 00:00, 16 November 2006 (UTC)
 * See also Wikipedia talk:WikiProject Mathematics for mergers of your other articles:
 * logic-system → proof theory (or one of the subarticles)
 * consequence operator → closure operator
 * &mdash; Arthur Rubin | (talk) 20:08, 16 November 2006 (UTC)

Qualifications
My father has over 50 years as a tenured faculty member (in Mathematical Statistics), and he still uses non-standard notations because he thinks they're better than the standard notations. He's willing to admit they're not standard, though.... &mdash; Arthur Rubin | (talk) 18:28, 3 December 2006 (UTC)