欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐大脑
来自开放百科 - 灰狐
灰狐大脑
目录 |
简介
灰狐大脑,智慧之光。一档探索类节目,探索未知领域,探索大脑、宇宙之奥秘。
在自然界的所有秘密中,两个最大的奥秘是心灵和宇宙。
人生就是认识你自己和成为你自己的一生。
一起体会科学探索的乐趣和美丽,崇尚综合的气质。
厂牌主理人:Allen
领域
涉及科学原典,哲学/神学,数学/物理学,人工智能/机器学习,认知科学/认知心理学/神经科学等领域。
科学元典是科学进一步发展的灯塔和坐标。
课题
具体研究课题:
- 科学元典,是指科学经典中最基本、最重要的著作,是在人类智识史和人类文明史上划时代的丰碑,是理性精神的载体,具有永恒的价值。
- 科学技术进步的同时,哲学和伦理问题的探讨。伦理学(Ethics 或 Moral Philosophy)也称为道德哲学或道德学,是一门哲学学科,主要探讨道德价值,涉及捍卫并鼓励对的行为,并劝阻错的行为。旨在定义诸如:善与恶、对与错、美德与恶习、正义与犯罪等概念来解决道德问题,也探讨什么是聪明或愚蠢。
- 穿越平行宇宙,通向实在之路。
- 人工智能哲学、英美分析哲学
- 理论计算机科学
- 知识图谱
- AI/通用人工智能(Artificial General Intelligence)/AGI Society + 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 选择。
- 电动汽车、智能电网
项目
- Open Cognition Project OpenCog Foundation Building better minds together AGI - Machine Learning, Language, Reasoning, Robotics
- Real World Reasoning The Challenge of Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
图集
链接
- Big Think(油管)
- World Science Festival (油管)
- Quanta Magazine(油管)
- MIT OpenCourseWare (OCW) For the Allure of Physics Walter Lewin博士录制的麻省理工学院OCW物理学讲座(油管)
- Oxford Mathematics(油管)
- Microsoft Research(油管)
- Veritasium An element of truth(真相的元素:关于科学、教育和其他有趣事物的视频)(油管)有超过1000万粉丝
- 馬臉姐(油管)
- Leonard(油管)
- Linvo說宇宙(油管)
- 你可敢信(油管)
- MIT Center for Theoretical Physics
- National Institute of Standards and Technology (NIST) 国家标准和技术研究所
- Cybersecurity and Infrastructure Security Agency (CISA) 网络安全和基础设施安全局
- 博士教授bot 科学视频集锦
- Sogou 科学百科
分享您的观点