| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| standreasberg2017:start [2017/01/08 13:13] – willi_bd | standreasberg2017:start [2017/01/31 13:46] (current) – markus |
|---|
| ====== BRCP - St.Andreasberg, January 2017 ====== | ====== BRCP - St. Andreasberg, January 2017 ====== |
| |
| |
| Topics that we discuss this time include: | Topics that we discuss this time include: |
| |
| **Wilhelm**: I would like to address the topic of arithmetic/logic in computer-based mathematical proving. As far as I can manage it, I prepare an introduction to the topic of axioms in arithmetic (see [[https://en.wikipedia.org/wiki/Peano_axioms|Peano Axioms]]) on top of which we build mathematical proofs now days and how far the current state of the art is concerning this field of research. This will hopefully give room for a discussion on how to formulate scientific reasoning in our field. We will probably start out with some theorems from number theory to get the idea (proof of the existence of infinitely many prime numbers) since those proofs will give us an idea of how to formulate our own train of thought in something like a standardized language. This language will have to be some kind of Boolean formula. If anyone is interested I can give a short introduction on how to solve Boolean formulas arithmetically but that’s for the nerds among you. | **Wilhelm**: I would like to address the topic of arithmetic/logic in computer-based mathematical proving. As far as I can manage it, I prepare an introduction to the topic of axioms in arithmetic (see [[wp>Peano_axioms|Peano Axioms]]) on top of which we build mathematical proofs now days and how far the current state of the art is concerning this field of research. This will hopefully give room for a discussion on how to formulate scientific reasoning in our field. We will probably start out with some theorems from number theory to get the idea (proof of the existence of infinitely many prime numbers) since those proofs will give us an idea of how to formulate our own train of thought in something like a standardized language. This language will have to be some kind of Boolean formula. If anyone is interested I can give a short introduction on how to solve Boolean formulas arithmetically but that’s for the nerds among you. |
| If anyone is interested to work on the rhizome project proposed by Markus, this would be another opportunity to extend the thought. For everybody else, check out [[:info_science:arithmetic_logic|arithmetization]]. | If anyone is interested to work on the rhizome project proposed by Markus, this would be another opportunity to extend the thought. For everybody else, check out [[:info_science:arithmetic_logic|arithmetization]]. |
| \\ | \\ |
| |
| |
| **Workshop equiped with tools** | **Workshop equipped with tools** |
| Having tools and materials ready to model and craft representations of realisations of ones idea would help in such a place of coworking. | Having tools and materials ready to model and craft representations of realisations of ones idea would help in such a place of coworking. |
| |
| We plan to seek orientation at other co working spaces such as: | We plan to seek orientation at other co working spaces such as: |
| * [[http://ideasquare.web.cern.ch/|Ideasquare]] | * [[http://ideasquare.web.cern.ch/|Ideasquare]] |
| * [[http://www.impacthub.net/|Inpact HUB]] | * [[http://www.impacthub.net/|Impact HUB]] |
| |
| |
| **Presentations** | **Presentations** |
| * [[standreasberg2017:arlog|standreasberg2017:arlog|Arithmetic Logic]] | * [[standreasberg2017:arlog|Arithmetic Logic]] |
| * [[standreasberg2017:conceptofspace|standreasberg2017:conceptofspace|Concept of Space]] | * [[standreasberg2017:conceptofspace|Concept of Space]] |
| | * [[standreasberg2017:conceptofmotion|Concept of Motion]] |
| |
| **Proof methods** | **Proof methods** |
| An interesting blog to the Topic | An interesting blog to the Topic |
| http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/ | http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/ |
