作者查詢 / Hseuler

總覽項目：發文 | 留言 | 暱稱

作者 Hseuler 在 PTT [ Math ] 看板的留言(推文), 共27則

限定看板：Math

看板排序：

全部HSNU_1142544allergy213logic142Philo-08128ChineseMed96W-Philosophy38ask-why35Emergency27Math27NTU19marvel17NTUcourse17Prob_Solve17b97902xxx16China16car-pool12DoubleMajor12b98902HW11Gossiping11NTU-Exam11trans_math11Philo-0910AntiVirus9b97902HW8Christianity8Physics8TSU8NBAEasyChat5soul5STS5SummerCourse5b98902xxx4clmusic4HSNU_11504Inference4PC_Shopping4SENIORHIGH4TransCSI4CSonline3Key_Mou_Pad3NTUBA013asciiart2C_and_CPP2dictionary2Digital_Art2FiremanLife2FLAT_CLUB2HSNU_11352Hunter2Instant_Mess2joke2NUU-EE-97A2Steam2Transfer2ASHS-95RN1ASIA-uni1ASM1b04902xxx1B97A013XX1BigPeitou1book1Broad_Band1Catholic1Celtics1ChineseChess1CMU_M501Contacts1CSHS57th3141CSIE_WSLAB1CSMU-MED951CSSE1cute1Datong1Doctor-Info1DPP1DramaTalk1Electronics1HCHS593051Health_Life1HSNU_11391HSNU_11681java1Korea1KS92-3131LCD1MATLAB1MCU_Talk1MdnCNhistory1MuBin1MuscleBeach1music1NetSecurity1Network1NEW_ROC1NFU1NTHU_COM6051NTU_BOTDorm21NTU_trans1NTUBIME103HW1NTUCHE-02-HW1NTUHistory981NTUSA1NTUST-TX-B921optical1Orzhong97cl1paranormal1Pharmacy1Philo-031Philo-071Philo-study1PLT1points1RootsnShoots1San-Ying1tale1Taurus1tellstory1TigerBlue1TKU_EE_92C1Violation1<< 收起看板(120)

首頁

尾頁

Re: [其他] 見證奇蹟的時刻 NP=P

[ Math ]28 留言, 推噓總分: +10

作者: hcsoso - 發表於 2013/06/02 22:51(11年前)

18^F推Hseuler:"證明自動化"這件事怪怪的例如一階算術不存在06/05 14:05

19^F→Hseuler:recursively enumerable公理系統06/05 14:06

20^F→Hseuler:所以普遍的自動定理證明器是不可能的06/05 14:07

21^F推Hseuler:(上面指的是完備且無矛盾的的r.e. set )06/05 14:38

[其他] 關於數學的經典之作～

[ Math ]13 留言, 推噓總分: +9

作者: letmegoogle - 發表於 2012/09/17 17:45(11年前)

10^F推Hseuler:那本是數學裡面很多圓錐曲線的命題可以拿來當高中生09/18 10:50

11^F→Hseuler:的補充教材雖然裡面也有哲學和神學就是了....09/18 10:50

[書籍] 有人知道數理邏輯的聖經or經典書籍嗎?

[ Math ]22 留言, 推噓總分: +7

作者: henri - 發表於 2012/01/14 01:37(12年前)

20^F推Hseuler:數理邏輯可讀Fundamentals of mathematical logic01/16 19:39

21^F→Hseuler:麻省理工數學所課程的教材 800多頁01/16 19:39

22^F→Hseuler:作者是Peter G.Hinman01/16 19:39

Re: [其他] 問個數學家

[ Math ]11 留言, 推噓總分: +9

作者: TassTW - 發表於 2011/12/29 17:24(12年前)

18^F推Hseuler:Abel的證明好像有漏洞但被當時代的人接受12/30 09:42

Re: [微積] 泰勒與馬克勞林級數有什麼關係阿

[ Math ]22 留言, 推噓總分: +15

作者: PaulErdos - 發表於 2011/12/26 00:33(12年前)

20^F推Hseuler:我微分你我微分你01/01 17:10

[無限集] 一一對應

[ Math ]26 留言, 推噓總分: +7

作者: linijay - 發表於 2011/12/09 00:23(12年前)

10^F推Hseuler:樓上 http://goo.gl/9uzsC 這是cmu哲學系的博士論文12/09 11:09

11^F→Hseuler:對做邏輯的哲學家是基本常識12/09 11:09

[其他] 請推薦關於"培養數學能力"的書~

[ Math ]32 留言, 推噓總分: +10

作者: letmegoogle - 發表於 2011/11/28 03:25(12年前)

21^F推Hseuler:陶哲軒有一本15歲寫的書台灣有翻譯版11/28 20:50

[公告] 水桶十四日 batbook

[ Math ]39 留言, 推噓總分: +19

作者: calvin4 - 發表於 2009/09/02 13:30(14年前)

35^F推Hseuler:最簡單的方法就是不理他他就沒戲唱了09/02 18:54

36^F→Hseuler:大家反應越激烈他越想鬧09/02 18:54

[公告] 警告 batbook

[ Math ]40 留言, 推噓總分: +8

作者: calvin4 - 發表於 2009/09/01 14:58(14年前)

7^F推Hseuler:警告沒有用 xxxxbook 換一堆沒完沒了09/01 15:26

Re: [中學] 又幾個觀念、邏輯上的問題

[ Math ]6 留言, 推噓總分: +3

作者: xcycl - 發表於 2009/09/01 07:56(14年前)

1^F推Hseuler:推這篇09/01 12:14

首頁

尾頁