作者查詢 / aletheia
作者 aletheia 在 PTT [ logic ] 看板的留言(推文), 共177則
限定看板:logic
看板排序:
全部Gossiping7039C_Chat2362car1515HatePolitics950watch837photo589Japan_Travel389W-Philosophy301Interior288DMM_GAMES262cookclub246Onmyoji182logic177LoL171E-appliance168Brand166MobileComm155MuscleBeach154SRW100Stock84Steam77photo-buy74movie70shoes70PlayStation64AzurLane62outdoorgear60nb-shopping55Insurance41sex41creditcard40Wine38FITNESS30Arknights29NTUDormG129FLAT_CLUB28cat27STDM-88-30226Feminism25love-vegetal25DSLR24FixMyHouse23GUNDAM22Rugby22NTUAR19WorldCup19BabyMother18GetMarry18ask16Baseball16HsinChuang16Pet_Get16Army-Sir15Atheism15Isayama15joke14Loan14nCoV201914Beauty13EAseries13NTU13SD-GundamOL13marriage11SuperBike11WOW11BOTANY_9210God_Drop10HolySee10NBA10Suckcomic10WarHammer10ewsoft9PhotoCritic9PokeMon9Kaohsiung8KingdomHuang8Perfume8BLEACH7CarShop7Finance7Wargaming7EYESHIELD216NSwitch6Salary6Digitalhome5e-shopping5EuropeanCar5Hiking5home-sale5iOS5NTUcourse5Philosophy5ToS_Match5AC_In4BigBanciao4BigSanchung4BoardGame4DC4L_TalkandCha4LoveLive4NTUSA4specialman4STDM-NTU4SummerCourse4underwear4GAYCHAT3Gintama3GossipPicket3Hunter3LAW3Militarylife3mobilesales3PublicIssue3ToS3YOLO3Animation2Audiophile2BERSERK2C_GenreBoard2Coffee2FJU2GFonGuard2Headphone2homemaker2japanavgirls2Japandrama2KUAS2LivingGoods2NCCU_FunLaw2OrangeRoad2Philo-082piano2TaiwanDrama2Tin-Ha2Anthro081Anthro091ASHS-95RN1Aviation1baking1biker1BioCup1Biotech1BOTANY_931Bus1C_BOO1camping1CCRomance1DigitalMusic1dog1DPP1DYU1Eng-Class1gallantry1GAMEMUSIC1HSNU_11421jazz1KOTDFansClub1L_LifeInfo1L_RelaxEnjoy1lesbian1Lifeismoney1LightNovel1Little-Games1Lomo1Marginalman1media-chaos1Military1mobile-game1model1NailSalon1NEW_ROC1NHK1NTU-Exam1NTU-IFS1NTUcontinent1NTUGSA1NTUSealCarve1NTUT_EE496B1Odoko-juku1optical1PC_Shopping1Philo-051Podcast1points1pts1puzzle1R89325xxx1SailorMoon1SAN1Sangokumusou1Saxophone1SportsShop1Tea1Tech_Job1The-fighting1third-person1travian1TypeMoon1VET_971Zombie1<< 收起看板(200)
1F→: 似乎沒有 要問一下主修邏輯的朋友會比較清楚02/21 11:40
5F→:你這樣寫不太好04/26 16:24
1F→:你沒認真上課吧04/11 20:08
4F→:你們可以另外開一篇討論 Logicism03/06 11:59
1F→:數龜新年快樂 回真快02/14 17:48
2F→:我覺得金是原子序79的例子會好很多 更能突顯Putnam的立場02/14 17:49
1F→:古典邏輯中沒有差別02/08 03:13
9F→:你講一致 不一致 矛盾那邊怪怪的01/13 10:53
10F→:你說不一致」指的是兩個陳述不可同時為真,但可同時為假01/13 11:02
11F→:不過通常講一組句子不一致 指的是這組句子會導出矛盾01/13 11:11
12F→:這和你對矛盾的說明是衝突的01/13 11:12
13F→:其實你這樣講我也看得懂 不過比較難看的是一致那邊01/13 11:26
14F→:你用了一個需要一些處理的概念 可能01/13 11:27
15F→:不太確定你那樣講一致對不對 不太想仔細看 好像很麻煩01/13 11:28
16F→:一致有兩種 一種是語法一致 theory不會導出矛盾01/13 11:32
17F→:一種是語意一致 有一個模型滿足該theory01/13 11:33
18F→:我的理解大概是這樣吧01/13 11:33
3F→:其實他只是想出第五個選項 讓你們比較不好猜罷了01/12 22:29
17F→:我覺得那句話會有誤會 就刪掉了01/12 22:11
18F→:Graham Priest的Introduction to Nonclassical Logic01/12 22:13
19F→:應該是不錯的選擇01/12 22:13
20F→:至於想知道直覺主義的主張01/12 22:16
21F→:Blackwell的Guide to the philosophy of mathematics01/12 22:17
22F→:抱歉搞錯是The Oxford Handbook of Philosophy of01/12 22:21
23F→:mathematics and logic01/12 22:21
24F→:如果你想深入一點 這就超出我個人能力部分 這邊我很少接01/12 22:26
25F→:觸了 或許可能要請教MathTurtle01/12 22:27
27F→:不太確定呢 我只是擔心那句話會有誤會01/12 22:39
28F→:而且也無助於討論要旨 就刪掉了01/12 22:39
1F推:Intuitionistic logic是完備沒錯01/12 01:50