Nikolaj-K
/ History of representation theory in quantum mechanics.txt
Last active
September 26, 2020 20:05
Video notes on the history of representation theory in quantum mechanics
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Notes for the video here: | |
| https://youtu.be/5zLr7hAnrZY | |
| # On the book | |
| * books 400 pages in 2011, 4 Parts | |
| - based on thesis | |
| * breakdown of chapters | |
| - Only on p. 68: v. d. W. scientific education till 1928. | |
| Text up to then is preparation of context to explain his life and contributions, |
Nikolaj-K
/ van_der_Waerden_early_education.txt
Last active
September 26, 2020 20:05
Notes on B. L. van der Waerden life before quantum mechanics
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Those are my notes on Martina R. Schneider's book "Zwischen zwei Disziplinen" used in this video: | |
| https://youtu.be/PrF5eMXr0Bc | |
| ## B. L. van der Waerden (vdW) | |
| (p. 69) | |
| Born 1903 | |
| Father: politican (socialist) | |
| Later in his life, Waerden was also a historian (knew Greek, then) |
Nikolaj-K
/ CZF_in_MLTT.txt
Last active
September 26, 2020 20:05
Constructive Zermelo-Fraenkel in Martin-Löf's theory
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| These are the notes used in this video: | |
| https://youtu.be/HT_eFdXKJbs | |
| # Book | |
| "Constructivism in Mathematics - An Introduction" (1988) | |
| by A.S. Troelstra & van Dalen | |
| https://www.amazon.com/Constructivism-Mathematics-121-Introduction-Foundations/dp/0444705066 | |
| The Book is printed in 2 Volumes (but with common page numbering), | |
| I found 4 pages of errata online. |
Nikolaj-K
/ raw_image_processing.py
Last active
December 27, 2019 16:35
Script from the raw image processing video
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This is the script for the video explaining it here: | |
| # | |
| # https://youtu.be/QrJ9LyA-Z-U | |
| import numpy as np | |
| import matplotlib.pyplot as plt | |
| COLOR_STEPS = 5 | |
| FILENAME = "holo.jpg" |
Nikolaj-K
/ modal_logic_of_chess.txt
Last active
September 26, 2020 20:04
Modal logic formalization of chess
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Text used in the video | |
| # | |
| # https://youtu.be/E6wr0MtbKrY | |
| A ... Predicate | |
| A(x) ... One reading: "A is satisfied by x." | |
| Here: "The state x forces A to hold." | |
| Modalities: Model necessity, knowledge, believe, persistence, obligation, ... | |
| ◻ |
Nikolaj-K
/ lesser_non_constructive_princople.txt
Last active
September 26, 2020 20:04
Non-constructive but weaker than the law of excluded middle
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| This is the text accopaning the video here: | |
| https://youtu.be/RusPpTVyNPw | |
| # Notation | |
| p ... Proposition | |
| P ... Predicate | |
| ∃P := ∃x. P(x) # P satisfiable (here, constructively) | |
| ∀P := ∀x. P(x) # P always satisfied |
Nikolaj-K
/ compositionality.txt
Last active
September 26, 2020 20:04
Compositionality Journal: A quick look at the first papers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| The text used in this video: | |
| https://youtu.be/GMrzjGTm_5c | |
| ## Compositionality Announcement | |
| - https://compositionality-journal.org/ | |
| People: | |
| * Baez, See | |
| - https://johncarlosbaez.wordpress.com/ (blog) |
Nikolaj-K
/ Synthetic_differential_geometry.txt
Last active
July 8, 2021 00:18
Synthetic Differential Geometry
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| The text for the video | |
| https://youtu.be/utJjFMWWq2Y | |
| # Set Definitions and auxiliary function | |
| R ... a commutative ring | |
| Below, use the field variable name k_g for k_g : R. | |
| Below, use the function variable name g for g : R → R. |
Nikolaj-K
/ Bishop_Constructive_Analysis.txt
Last active
September 26, 2020 20:04
Bishop's Constructive Analysis
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Text used in this video: | |
| https://youtu.be/wuhbxJahVRE | |
| # Overview of the book | |
| 210 pages, 6 chapters | |
| # 1. Formal system | |
| Bishop style: | |
| * No fully formal set theory and |
Nikolaj-K
/ topics_in_noncommutative_algebra.txt
Last active
September 26, 2020 20:04
Topics on Noncummutative Algebra
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Video: | |
| https://youtu.be/MAL6rz3FyVw | |
| In this video I talk about the Book | |
| "Topics in Noncommutative Algebra - The Theorems of Campell, Baker, Hausdorff and Dynkin" | |
| by Andrea Bonfilio and Roberta Fulci. | |
| I tease some of my motivation with the topic by starting out ranting about differential equation and exponential growth, | |
| such as seen in baceria growth or virus outbreaks. |