- すべて
- 画像・動画
並べ替え:新着順
(承前) #ライプニッツ はまた、今日の記号論理学の萌芽も示し、ニュートンとは独立に微分積分学を発明・発展させた功績でも知られています。☞ iwanami.co.jp/search/?&searc… 石黒ひで『増補改訂版 ライプニッツの哲学』 高瀬正仁『人物で語る数学入門』 ユルゲン・トラバント『人文主義の言語思想』 pic.twitter.com/XLowiwO5US
そういえば、中々御恵贈戴いた御論文の紹介が出来ておりませんでしたので。先ずは山形聡志先生(@SatosiYAMAGATA)より御恵贈賜りました、「法論理学が民法学に齎らしたもの—太田知行『当事者間における所有権の移転』を再訪する』」経営実務法研究26号pp.87-138について。… pic.twitter.com/dwvWhfV6Wa
まって笑笑なんで笑笑 プロバスケ選手がMBTI笑笑 辻選手 冒険家 (ISFP-T) 八村選手 論理学者 (INTP-A) 中村選手 運動家 (ENFP-A) 三谷選手 仲介者 (INFP-T) #Bリーグ #MBTI pic.twitter.com/CcsELQz9m8
今日7月1日はドイツの哲学者・数学者のライプニッツが生まれた日です(1646年) 法学・神学・論理学など学問的業績は多岐にわたり外交官としても活躍しました 「モナド(単子)論」「予定調和」などその独特の論考は現代の思想哲学にも大きな影響を与えています☀️ #ライプニッツ pic.twitter.com/RqgMjBZhVs
時計として表示されている文字列が実はJavaScriptで,コードとして実行すると同じ文字列が時計として表示され時刻を刻む。 このように「自分自身を表示するプログラム」を「クワイン」といって,哲学者・論理学者のクワインに敬意を表して名付けられた。ずいぶん凝ってる。 buff.ly/45MieLW pic.twitter.com/JCmzr09iLX
MBTI診断配信おつしい!! みんなと一緒にやって性格を診断するの楽しかったよー! リスナーは内向的な性格で固まってるの面白かった!🤣 前にやった質問とだいぶ変わってるように感じたけど結果は同じ論理学者👩🏻🎓 書かれてることほぼ自分に当てはまってるし、的確な診断だと思ったよ! #しいライブ pic.twitter.com/NV5ZFztPBT
論計舎代表講師かわいによる「数理論理学を学ぶ際の最初の目標:一階述語論理の完全性」という動画です。タイトルの通りに一階述語論理の完全性の理解が数理論理学の入門であるという考えとその理由を紹介しています。 youtu.be/0SzvFfeLR5E
◽️恋と禁忌の述語論理 ◽️井上真偽 ◽️講談社 雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。この不可解な事件を奇蹟の実在を信じる探偵・上苙丞が見事解決――と思いきや、癒やし系天才美人学者の硯さんは、その推理を「数理論理学」による検証でひっくり返す!! #読書 pic.twitter.com/SnFUQdc1DC
いろんなタイプに分けられる性格診断テスト。 主人公とか論理学者とか冒険家とか。 擁護者だってさ。 パッとしなくて がっかり。 16personalities.com/ja/%E6%80%A7%E… pic.twitter.com/IculTXHmEi
今日は久々に公園読書🏞📖 言語哲学大全Ⅰ~Ⅳもとりあえず全て読み終わったので、次はまた記号論理学の本に戻ってます😙 お昼は卵焼き風エッグサンド🥪✨ 卵は白だしと砂糖を入れてから混ぜてレンチンしただけですが、ダシ感があっていい感じです😋 #料理記録 pic.twitter.com/Ho4sSfaaqy
数理論理学の中でモデル理論と呼ばれる分野の本。通常の三段論法的な論理学を数学の論理を当てはめて証明そのものの性質を明らかにする分野が数理論理学。全く理解できていないが、そこの論理構造自体に様々な代数構造を入れて研究する分野。プログラム意味論とも関わるのだが、理解は進んでいない。 pic.twitter.com/DFLexZ59Cz
川名凜ちゃん💚 似顔絵会の時にMBTIの話をした🥰 INTP (論理学者)にしっくりきているらしい🐸 わたしのMBTIも聞いてくれて INFJと伝えると「めいと同じじゃん!!」 だって! 私が知ってるINFJのめいちゃんは愛生ちゃんなんだけど合ってる……? めいちゃんがめいって呼ばれるの新鮮✨ pic.twitter.com/KH32Oc3JML
MBTIの論理学者、何かに似てるなあ…ってずっと思ってたんだけど、クレしんのユメミーワールドのさきちゃんのお母さんに激似だったこれだ!!!!!!!! pic.twitter.com/iO3tIeZcIy
いい本! 論理学そのものは(考える手段にすぎないという意味で)、思考のエサになるわけではないと気付かせてくれた🙆♀️ おかげで、論理学を哲学とは別の旨味を味わう対象として楽しく観察できるようになった (知識不足でまだ外側から観察することしかできない( ¨̮ )、) pic.twitter.com/8V7ujkrpHC
返信先:@721siro「その命題は論理学上正しくないぞ 全体の売り上げと、一件の売り上げとの対応関係が明示されておらん 法律家として失格じゃぞ笑」と近所のアリストテレスは申しております笑 pic.twitter.com/TRf4XMCEH4
なんとなく話題のMBTI診断(16personalities)を深夜のテンションが行ってみたら「論理学者 (INTP-A)」だったわ。うん?🤔 - 論理学者 (INTP-A) | 16Personalities 16personalities.com/ja/%E7%B5%90%E… pic.twitter.com/uf71g4tA8s
トレンド14:08更新
- 1
打ち上げ成功
- H3ロケット3号機
- ロケット打ち上げ
- だいち4号
- 種子島宇宙センター
- 軌道投入
- 分離成功
- H3ロケット3号機打ち上げ
- H3ロケット3号機打ち上げ成功
- H3 3号機
- 午後0時
- H3ロケット打ち上げ
- H3
- 打ち上げ 成功
- ロケット
- 打ち上げ
- H3ロケット
- 南日本新聞
- 成功しました
- だいち
- 2
ニュース
国会議員所得
- 中西健治衆院議員
- イカれてる
- 最優先
- 5年ぶり
- 岸田文雄
- 3
アニメ・ゲーム
孔富
- 忍者と極道
- 孔富先生
- 2週
- 無料公開
- 4
エンタメ
TSUZUMI
- 関するお知らせ
- 5
エンタメ
メンズノンノ
- 表紙解禁
- NON-NO
- マルジェラ
- 6
エンタメ
グループ魂
- アルバイト募集
- ご無沙汰
- 7
アニメ・ゲーム
AGF
- 文豪ストレイドッグス
- 8
スポーツ
WRESTLE DYNASTY
- イッテンゴ
- AEW
- 東京ドーム
- 9
しいたけ占い
- 10
エンタメ
毎月1日
- 釜揚げうどん
- 丸亀製麺