Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
nikolajs_notebook [2017/07/15 17:43] nikolaj |
nikolajs_notebook [2019/03/22 23:17] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
In this wiki I try to keep track of some of the vast amount of mathematical objects and learn about their relationships. | In this wiki I try to keep track of some of the vast amount of mathematical objects and learn about their relationships. | ||
- | This is the credible and neatly interlocked notebook of a physicist and where the content leans towards applications, it's with an eye on stochastics, statistical physics and their computational implementation. | + | This is the credible and neatly interlinked (interlinked) notebook of a physicist and where the content leans towards applications, it's with an eye on stochastics, statistical physics and their computational implementation. |
It also contains content for a book and ideas for a typed programming language for the formal sciences. | It also contains content for a book and ideas for a typed programming language for the formal sciences. | ||
The page [[About]] contains more details. | The page [[About]] contains more details. | ||
Line 10: | Line 10: | ||
If you have questions or suggestions, feel free to contact me... | If you have questions or suggestions, feel free to contact me... | ||
- | | **video:** | [[https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos | Youtube]] (Nikolaj-K) | | + | | **email:** | [[treegraph@gmail.com|Nikolaj Kuntner]] | |
+ | | **video:** | [[https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos | youtube]] (Nikolaj-K) | | ||
| **code:** | [[https://github.com/Nikolaj-K | GitHub]] | | | **code:** | [[https://github.com/Nikolaj-K | GitHub]] | | ||
- | | **CV:** | [[https://www.linkedin.com/in/nikolaj-kuntner-0138aa104 | LinkedIn]] | | + | | **vita:** | [[https://www.linkedin.com/in/nikolaj-kuntner-0138aa104 | LinkedIn]] | |
[[Intuitionistic propositional logic]] --- | [[Intuitionistic propositional logic]] --- |