欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐大脑
来自开放百科 - 灰狐
灰狐大脑
目录 |
简介
在自然界的所有秘密中,两个最大的奥秘是心灵和宇宙。
人生就是认识你自己和成为你自己的一生。
一起体会科学探索的乐趣和美丽。
这是一档自媒体节目,主理人:Allen
领域
涉及科学原典,哲学/神学,数学/物理学,人工智能/机器学习,认知科学/认知心理学/神经科学等领域。
科学元典是科学进一步发展的灯塔和坐标。
课题
具体研究课题:
- 科学元典,是指科学经典中最基本、最重要的著作,是在人类智识史和人类文明史上划时代的丰碑,是理性精神的载体,具有永恒的价值。
- 科学技术进步的同时,哲学和伦理问题的探讨。伦理学(Ethics 或 Moral Philosophy)也称为道德哲学或道德学,是一门哲学学科,主要探讨道德价值,涉及捍卫并鼓励对的行为,并劝阻错的行为。旨在定义诸如:善与恶、对与错、美德与恶习、正义与犯罪等概念来解决道德问题,也探讨什么是聪明或愚蠢。
- 穿越平行宇宙,通向实在之路。
- 人工智能哲学、英美分析哲学
- AI + Blockchain,这是未来十年的趋势 AI区块链布道师
- 电子音乐 + 神经科学
- 神经系统和人工神经系统
- 认知神经科学(Cognitive Neuroscience) —— 关于心智的心理学(The Biology of the Mind)
- 费曼学习法
- 计算语言学和机器翻译
- 灰狐安全
- 灰狐网络
- 音频节目,今夜不寂寞(计划2022开启)
- 编译器(GCC,LLVM)、操作系统、数据库存储
- 量子力学和量子计算 物理学和量子理论更多参考《爱因斯坦全集》和《尼耳斯·玻尔集》
- 宽客、金融、金融科技、量化投资、CFA(特许金融分析师,Chartered Financial Analyst),讲金融的故事
- 数学是最爱,不学习数学,看不懂科学。Scilab, GNU Octave, Maxima, SageMath, TeX Live/LaTeX/TeXstudio 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
- 电动汽车、智能电网
项目
图集
链接
分享您的观点