とんでもねぇ話だなぁこれぇ！？ by東浩紀 #831

[過去ﾛｸﾞ] とんでもねぇ話だなぁこれぇ！？ by東浩紀 #831 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

133: 05/25(土)03:01 ID:0(133/1000) AAS
>>127
グロ画像

134: 05/25(土)03:02 ID:0(134/1000) AAS
>>128
グロ画像

135: 05/25(土)03:02 ID:0(135/1000) AAS
>>129
グロ画像

136: 05/25(土)03:05 ID:0(136/1000) AAS
>>130 >>131
サンプルデータとして「朴　博士」ってテスト社員を作って
朴博士社員の年収を一千万にして計算して
スクショ取るなんてのは普通に出来るからな

ミスると色々大変だからやらないだけで

137: 05/25(土)03:33 ID:0(137/1000) AAS
イ・パクサだけでいいんだよ!

138: 05/25(土)03:42 ID:0(138/1000) AAS
イ・パクサ

京畿道でパンソリを教える両親のもとに生まれる。ディープ・パープルなどのロック、ハードロックに影響を受けたが、生活のために歌謡スタイルへと音楽性を移行させる[2]。

この人の成功にしても、両親がパンソリの先生ということだから、やはり英才教育の成果だといえるだろう。
文化資本の有無というのは、こういう形でも出てくる。

139: 05/25(土)03:54 ID:0(139/1000) AAS
ポンチャックおじさん

140(1): 05/25(土)04:00 ID:0(140/1000) AAS
クソおじ二人の荒らしが捗ってるみたいだな

141: 05/25(土)04:03 ID:0(141/1000) AAS
×一度
〇一人

142(1): 05/25(土)04:07 ID:0(142/1000) AAS
ラジはイパクサと電気グルーヴのコラボに関心がありそう

143: 05/25(土)04:57 ID:0(143/1000) AAS
>>62
凄いな。僕は信じてましたよ、フクロウナガサさんのこと

144(1): 05/25(土)07:11 ID:0(144/1000) AAS
>>130
サムネみただけでどこの様式でしょうなんて当ててられんから画像検索がセオリーだよな
いちいち加工済のクラウドのアドレスなんか注意しないわ、このあたりの下品さは徹底してるというか

145: 05/25(土)07:27 ID:0(145/1000) AAS
>>140
さも自分は哲学板は荒らしてませんよという物言いでｗ

146(1): 05/25(土)07:30 ID:0(146/1000) AAS
>>144
obc聞いたことない時点で終業経験0の中卒無職(中卒と言っても不登校ニートで中学校の授業を受けてないお情け卒業証書だから知能が小学校低学年レベル)wwwwww

147(1): 05/25(土)07:31 ID:0(147/1000) AAS
>>130
死ぬほど頭悪いな
OBCすら知らん就業経験0の無職を炙り出すためにわざと見せてんだよ無能

148: 05/25(土)07:35 ID:0(148/1000) AAS
>>131
何一つ当たってないぞ
お前が中卒無職だから意味ない
想像自体が全てデタラメ
むしろお前の自己紹介

149: 05/25(土)07:37 ID:0(149/1000) AAS
体系内
- 自明な正しさ:正しいから正しい(トートロジー)→当たり前すぎて無意味
- 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)→ゲーデルの第一不完全性定理により不可能

体系外
- 科学の正しさ:体系A(現実世界)と体系B(公理からなる仮説)の一致→唯一残された可能で非自明(意味のある)な正しさ

150: 05/25(土)07:38 ID:0(150/1000) AAS
知能が無いから位置付けがわからんのだろ？
正しさの序列はこうだぞ？
上がゴミ
下がより正しい

体系内
→お前ら中卒無職　そもそも論理どころか感想しか言えない
→カント　論理が成立しておらずトートロジーにすら達してないただの誤り

- 自明な正しさ:正しいから正しい(トートロジー)→当たり前すぎて無意味

→バカゲンシュタイン　証明可能性や無矛盾性を理解してないのはもちろん爆発律すら理解してない

- 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)→ゲーデルの第一不完全性定理により不可能
省5

151: 05/25(土)07:39 ID:0(151/1000) AAS
以下は、"Gödel complete"が使われている部分の英語引用文とその和訳です。

### 英語引用文
I define an algorithmic inferential system as one in which all the inferential functions have intuitively effective syntactic recognition procedures. A first-order language which is Gödel-complete is one where the semantic implication function for the sentences of that language is coextensive with an intuitively effective syntactic recognition inference procedure. A higher-order language, with a model theory (an interpretation), according to which its syntactic deduction rules are Gödel-complete (Henkin models, as they’re called), also has a semantic implication function that’s coextensive with an intuitively effective syntactic recognition procedure. A higher-order language, however, which (relative to what’s described as “standard model theory”) is Gödel-incomplete, is one where the implication relation lacks any intuitively effective recognition procedure, let alone a syntactic one.

### 和訳
アルゴリズム的推論システムとは、全ての推論機能が直感的に有効な構文認識手続きを持つシステムと定義する。Gödel完全である一階言語とは、その言語の文に対する意味的含意関数が直感的に有効な構文認識推論手続きと共延長であるものである。モデル理論（解釈）を持つ高階言語は、その構文的推論規則がGödel完全（Henkinモデルと呼ばれる）であり、意味的含意関数も直感的に有効な構文認識手続きと共延長である。一方、「標準モデル理論」として記述されているものに対してGödel不完全である高階言語は、その含意関係が直感的に有効な認識手続きを全く持たず、構文的手続きもないものである。

引用元: Azzouni, J. (2023). "The Algorithmic-Device View of Informal Rigorous Mathematical Proof." [oai_citation:1,Azzouni-2023jmm-Paper.pdf](file-service://file-gWc9P2IgA558HORtYr7vZeio).

152(2): 05/25(土)08:06 ID:0(152/1000) AAS
>>132
実際にはない事は少なくないが、捏造するためにはそこは盛っとかないと駄目だよな
そういうところが生活実感のない所なんだよな

上下前次 1-新書関写板覧索設栞歴

あと 850 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.026s