歡迎來到Akarin!
Do what you want
不特定收錄性目的

陝ICP備20005995號-1

我們可能是真理的探索者,可能終會走向未知的深空。

 

現有396篇條目 0位活躍編輯者

典範條目

其他典範條目:

優良條目

形式邏輯是一門以思維形式及其規律為主要研究對象,同時也涉及一些簡單的邏輯方法的科學。它致力於將人類思維過程反應為語言。在一定程度上追求必然結論為目的。形式邏輯的基本規律為同一律矛盾律排中律

其他優良條目:

你知道嗎?

歷史上的今天

  • 1993年的今天(6.21-6.23)懷爾斯在牛頓研究所安排了三場演講,首次公開了對於費馬大定理的證明
    關於這場演講的內容以及講稿,我確信我發現了一種美妙的排版,可惜這裏的空白處太小,寫不下。
  • 今天是英國數學家艾倫·圖靈(1912-1954)的生日。
  • 中國當代科幻作家、《三體》作者劉慈欣(1963- )生於今天。
  • 2016年的今天,英國舉行脫離歐盟公投
  • 細胞學說創始人之一馬蒂亞斯·雅各布·施萊登於1881年的今天逝世。
  • 相聲大師侯寶林之子、相聲表演藝術家侯耀文於2007年的今天逝世。

今日出生 · 今日逝世

友情連結

語言