Zulip Chat Archive

Stream: new members

Topic: Claus-Peter Becke


view this post on Zulip Claus-Peter Becke (Aug 17 2020 at 09:36):

Hello, I'm a new member in this chatroom. It's almost nearly the first time I join such a type of communication. Thus I'm not very experienced, have a little patience with me. I suppose I will need some time to become familiar with this tool which is a completely new one for me. I'm especially interested in philosophy, in epistemological questions. And over the years I noticed that it will end up with the philosophy of mathematics which seems to be the most important area of issues I'm actually interested in. Unfortunately I'm not a mathematician. What I have to do now is to become as familiar as possible with mathematical questions. A few weeks ago I started working with Daniel Vellemans great tool Proof Designer. But that tool deals only with set-theoretic questions. Thus I started a few days ago to learn lean prover. The first I did, was to play the magnificent Natural Number Game which gives a lot of fun beside learning some basics concerning lean prover. I stuck at the last proof of the Advanced Addition World. Is this the appropriate place to ask a question concerning the ne_succ_self-proof?
Peter

view this post on Zulip Kenny Lau (Aug 17 2020 at 09:37):

sure

view this post on Zulip Johan Commelin (Aug 17 2020 at 09:37):

Hi! Welcome, and thanks for writing an intro post!

view this post on Zulip Johan Commelin (Aug 17 2020 at 09:38):

Just start a new thread in this "new members" stream, and post your question there.

view this post on Zulip Johan Commelin (Aug 17 2020 at 09:38):

The general policy is: new question... new thread.

view this post on Zulip Patrick Massot (Aug 17 2020 at 09:38):

Note that you can also search this stream history. All questions that one can have about this game have already been asked here (but we don't mind repeating the answer if you prefer).

view this post on Zulip Claus-Peter Becke (Aug 17 2020 at 09:42):

Thank you very much for being welcomed. So first of all I will look for the older posts and try to find what has been dealt in the path.


Last updated: May 14 2021 at 13:24 UTC