User talk:Kouznetsov

From ProofWiki
Jump to navigation Jump to search

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; then I'll be able to load some theorems and conjectures. Kouznetsov 02:38, 19 May 2011 (CDT)

It doesn't work like that. What you do is enter pages on subjects which you know about, as you will. They are then public domain for anyone else to modify as they will. If edits are done incorrectly, change them back, with a message explaining why. In case of vandalism, the user (and in extreme cases the i/p address) are blocked.
So carry on entering material, and it will be attended to in due course by whoever wants to. --prime mover 12:42, 19 May 2011 (CDT)
I've done my bit, it's all up to you to fill in whatever else you want at this point. --Alec (talk) 23:41, 19 May 2011 (CDT)
Thanks! I appreciate. I load the Definition:Tetration in the similar style. How about some pics? I have many. Shouldn't we add at least one plot to each definition of a function? Kouznetsov 08:52, 20 May 2011 (CDT)
Pictures are very welcome. Please do. I have seen your work on TORI and I am impressed. --prime mover 14:45, 20 May 2011 (CDT)


Definition:Tetration

In response to your comments on the Tetration Talk page:

You are very welcome.
Regarding referencing source work, it is something we have not been consistent about. I am progressively going through the original source work which inspired my own work on this site and adding references to the literature. The style of this has been made consistent by use of the BookReference template (and the complete listing of the contents of these books in the Books section).
However, there is no such consistent style for linking to websites. So far, there are two such templates: Planetmath and TORI which I have just added. Linking to source works (such as your own) on the Web (in the same style) will take some work to evolve.
I understand that a lot of this is your own work. Please note that we have a page for "Mathematicians" which (as you will see if you investigate) has no limits. If you are happy to share, then feel free to add your own page, to which you will be able to link citations to your own work. --prime mover 13:40, 20 May 2011 (CDT)