User talk:Kouznetsov

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact me, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers, prime.mover (talk)

... However ...
... you seem to have an agenda of your own. Big respect to your site. You seem to be doing a similar sort of job to us, and I encourage all sharing of information and concepts.

Note that the philosophy of ProofWiki is to use pages which are as short as possible. A definition is a few lines, and proofs are broken down into subproofs which are as compact as possible. There are exceptions, but those are deliberately kept as few as possible. Many pages are still in the process of being broken down into smaller ones.

Enjoy. --prime mover 13:23, 18 May 2011 (CDT)


 * Thanks. I like the short articles. I am interested, for example, in a short proof that 2+2=4 (which axioms are necessary for this?) Then, I would construct the integer numbers as pairs of natural numbers with appropriate class of equivalence, then the rational numbers as pairs of integers, then real numbers as Cauchi sequences of rationals. Then I would construct the vectors as pairs of reals, define them as points, define some specific class of sets of them as lines and prove the Euclid's axioms. And so on.
 * Also, I am interested in a proof than every holomorphic function has at least one superfunction. I search for some short, refined proofs of the properties of solutions of the Abel Equation. I call them Abel functions, and I am not sure if such a term is not yet used for other things.
 * But I see, yet, all the terms I marked with ... above appear red, not blue... Why? Kouznetsov 19:04, 18 May 2011 (CDT)


 * Linked all the ones we have, plus to the pages where new articles could be added. We store definitions in a separate namespace, e.g. Definition:Integer.  --Alec  (talk) 23:50, 18 May 2011 (CDT)


 * There are only a limited number of people actively working on expanding this site. There is only a limited amount of mathematics that can be posted in the limited time they are able to work on it. However, it is planned that (as far as their currentl level of expertise allows) the points above will be covered in due course.
 * As for 2+2=4, it's more likely that it be 1+1=2. I was working towards that end a year or two ago, but got bored and started to work on something else more interesting. Once I've done those more interesting things, I'll be back on the boring mathematical logic again. --prime mover 00:18, 19 May 2011 (CDT)


 * Thank you, Alec, now the most of definitions above appears blue.
 * As for 1+1=2, I believe, this is definition of symbol "2". (id est, not a theorem). Then 3=2+1 and 4=3+1 are definitions of symbols "3" and "4". Then, 2+2=4 should be very first theorem of the course of arithmetic. Such theorems are important to understand the notations, the meta-language. Kouznetsov 01:10, 19 May 2011 (CDT)


 * We will address these concerns in due course. In the meantime, there are other areas which the active participants on this site are focusing their attentions on. --prime mover 01:42, 19 May 2011 (CDT)

Definition:Superfunction
I loaded the Definition:Superfunction. Could anybody look please? I need also the Definition:Abel Function and Definition:Transfer Function and Definition:Fixed Point; then I'll be able to load some theorems and conjectures. Kouznetsov 02:38, 19 May 2011 (CDT)