home.social

#begriffsschrift — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #begriffsschrift, aggregated by home.social.

fetched live
  1. yoxem @[email protected] ·
    https://kianting.info/wiki/w/Translations_from_the_Philosopical_Writing_of_Gottlob_Frege_%E7%AD%86%E8%A8%98-%E6%A6%82%E5%BF%B5%E6%96%87%E5%AD%97_%E7%AC%AC%E4%B8%80%E7%AB%A0#12

    #弗雷格 #Frege #概念文字 #Begriffsschrift 第一章讀了。
    #begriffsschrift #frege #弗雷格 #概念文字
  2. yoxem @[email protected] ·
    https://kianting.info/wiki/w/Translations_from_the_Philosopical_Writing_of_Gottlob_Frege_%E7%AD%86%E8%A8%98-%E6%A6%82%E5%BF%B5%E6%96%87%E5%AD%97_%E7%AC%AC%E4%B8%80%E7%AB%A0#12

    #弗雷格 #Frege #概念文字 #Begriffsschrift 第一章讀了。
    #begriffsschrift #frege #弗雷格 #概念文字
  3. yoxem @[email protected] ·
    https://kianting.info/wiki/w/Translations_from_the_Philosopical_Writing_of_Gottlob_Frege_%E7%AD%86%E8%A8%98-%E6%A6%82%E5%BF%B5%E6%96%87%E5%AD%97_%E7%AC%AC%E4%B8%80%E7%AB%A0#12

    #弗雷格 #Frege #概念文字 #Begriffsschrift 第一章讀了。
    #begriffsschrift #frege #弗雷格 #概念文字
  4. yoxem @[email protected] ·
    https://kianting.info/wiki/w/Translations_from_the_Philosopical_Writing_of_Gottlob_Frege_%E7%AD%86%E8%A8%98-%E6%A6%82%E5%BF%B5%E6%96%87%E5%AD%97_%E7%AC%AC%E4%B8%80%E7%AB%A0#12

    #弗雷格 #Frege #概念文字 #Begriffsschrift 第一章讀了。
    #概念文字 #弗雷格 #frege #begriffsschrift
  5. yoxem @[email protected] ·
    看到 #概念文字，發現弗雷格只用 not (¬), imply (->)以及全稱量詞，還有等價（≡）與變數就能構成他的形式語言體系，交集、聯集等等都可以表示，

    但是少掉括號的方便性，要用複雜的網路圖當代價

    #begriffsschrift #Frege
    #frege #begriffsschrift #概念文字
  6. yoxem @[email protected] ·
    看到 #概念文字，發現弗雷格只用 not (¬), imply (->)以及全稱量詞，還有等價（≡）與變數就能構成他的形式語言體系，交集、聯集等等都可以表示，

    但是少掉括號的方便性，要用複雜的網路圖當代價

    #begriffsschrift #Frege
    #frege #begriffsschrift #概念文字