Hilbert's Program and Godel's Inconsistency Theorem What are Godel’s Theorem and how did they collapse Hilbert’s program?Hilbert’s program is a way to show that an axioms system is both consistent and complete. Godel’s incompleteness theorems has two p 2023-02-09 Philosophy math philosophy
Kant's View of Concepts What is the difference between construction of concepts and analysis of concepts?Construction of concepts and analysis of concepts are two ideas derived from Kant’s idea of concepts, corresponding to 2023-02-05 Philosophy math philosophy
As-ifism What is mathematical as-ifism?Mathematical as-ifism is to cut in-between realism and non-realism. Instead of requiring the objects to exists, as-ifism makes use of stable definition to deduce a conclu 2023-01-31 Philosophy math philosophy
Meno's Paradox What is the hypothetical (or mathematician’s) method and how does it solve Meno’s Paradox?what is hypothetical methodThe Hypothetical Method, also called Mathematician’s method, is a way of reasoning 2023-01-29 Philosophy math philosophy
proxytunnel on MAC Use Proxytunnel on M1 MacWhen trying to connect from my M1 mac to the lab’s servers, I failed multiple times and had to use my old windows laptop to connect from WSL. Our server requires a proxy jump 2022-12-13 Tech note
Modernity Modernity?from Godzilla and Inside the Cable Temple冀西南林路行. Modernity was to be mourned as a loss of spiritual presence and resisted by a missionary, evangelistic variety of Shinto. Shinto, by defini 2022-10-12 Literature 📖 Music Popular Culture Rock Movie
Grave of the Fireflies Grave of the Fireflies A disagreement caused by the different viewing points. If you do a search on any social media, there will be arguments, or perhaps disagreements, toward this film. However, the 2022-10-11 Literature 📖 Popular Culture Anime
Akira AkilaVisualcolor red: power red motorcycle red cape blue hospital the kids bike slide back light light Building: various bright light (cyberpunk) hospital: blue Nostalgia link between the 2022-10-04 Literature 📖 manga
Music Genre Predicting ROCK!!Cover songs played an important in the history of Rock music. Some artists keep their cover songs close to the original version, while others alter the song to a great extent. Althoug 2022-06-12 Science Music Computer Science Machine Learning Deep Learning NLP Rock
Relations Within the Matrix On Behalf of MatricesMatrix Factorization methods are commonly used in machine learning related fields. The utilizations are various, in many different sub-fields. The holy idea behind this is that th 2022-03-31 Science Computer Science Linear Algebra