Home
Language
English
Türkçe
Bahasa Indonesia
About
Privacy Policy
Terms of Service
Pricing
Sign In
Download All
Share
飛車丸
@hisyamaru708
仕事しながら数学やアウトドア、あと弓道
Joined January 2015
184
Following
197
Followers
1.9K
Posts
飛車丸
@hisyamaru708
2 days ago
Skolem化、項モデルなどなどがよくわかっていなかったことがわかった。 いい勉強になった。
飛車丸
@hisyamaru708
about 1 month ago
同じ「割り算」なのに「何を求めるか」が異なる場面がある。これが割り算の難しさであると思うし、ここをいい加減に伝えると分数式の割り算(こちらは「分数」としての割り算すなわち逆数の積)でまた混乱する、と最近思った。
飛車丸
@hisyamaru708
about 1 month ago
高校数学で「多項式の割り算」というのがある。多項式Aを多項式Bで割るのだが、その際は当然のように「商と余り」求める。 しかし、たとえば「22÷7」だったら、3.14…とか22/7とか答えるのが(少なくともこの時点では)割と普通で、まさか今更「商と余り」とは思わないことも多い。
飛車丸
@hisyamaru708
about 1 month ago
ある言語S(三項関係)だけでPAと定義的に同値な理論ができるので、そこでは和も積も全部Sからできる。そして計算可能性は置いておかれる。なるほど。
Who to follow
男は黙って…
@nanasi98
数学、アニメ、プログラミング等 独り言
はる数🟩🍓⬛️🐼
@setharutopology
数学, 金(かね), 星城のん【Zunda_Dolce】, Pirka_Dolce
ゆう
@hyutw
修士 (理学) / 数物セミナー / すうがく徒のつどい@オンライン / 圏論 / 禁書目録 × 超電磁砲 / 魔女の旅々
飛車丸
@hisyamaru708
about 2 months ago
自然数において、割り算ができること(商と余りが一意に定まること)は、数学的帰納法がない場合、どこまで仮定すれば示せるのか、あるいは示せないのかは難しい問題(PA^-では示せない)。
飛車丸
@hisyamaru708
4 months ago
割り算が難しすぎて戦慄している
飛車丸
@hisyamaru708
4 months ago
「はじめての圏論」を読んでいるのですが「関係性」という視点でモノを見るのは面白いですね。例えば0についても「無」とは何かと考える代わりに、「任意の数に対して、0を加えても答えは元の数のままである」と、他との関係で定めるのは算術なんかでもあって、改めて考えるきっかけになりました。
hisyamaru708
retweeted
楽園編集部
@rakuen_info
8 months ago
「楽園」刊行停止のお知らせです。
飛車丸
@hisyamaru708
8 months ago
ウォシュの定理って当然すごい結果なんですが、超冪(超積)と元のモデルが初等同値になっちゃうっていうのは、この手法で超準モデルを作る限界を示しているような気もします。
飛車丸
@hisyamaru708
9 months ago
VISSERの『FROM NUMBERS TO UR-STRINGS』読んでる方いませんか…
飛車丸
@hisyamaru708
9 months ago
@hyuki
作者様からコメントいただけるとは思っておりませんでした。 リーマン予想を読んでいるうちに他のシリーズも読みたくなってしまいました。 こちらこそ、素敵な出会いをさせていただき、ありがとうございます!
飛車丸
@hisyamaru708
9 months ago
今更ですが、数学ガールが完結したということで久しぶりに無印を読みました。学部生の頃、数学に挫折した際に出会って、数学って楽しいなあと再認識したきっかけでもありました。今でも細々と数学を続けているのはこの本のおかげなのかもしれません。これからリーマン予想も読もうと思います。
飛車丸
@hisyamaru708
9 months ago
嘉田勝『数理論理学』 不完全性定理を学び始めたときに欲しかったですね…。かなりわかりやすい。
飛車丸
@hisyamaru708
10 months ago
第15章「超冪による超準モデルの構成」が読みたくて買ってみました。 第10章から読んでます。
飛車丸
@hisyamaru708
about 1 year ago
Ur−stringsってなんだ?
飛車丸
@hisyamaru708
over 1 year ago
数学の同人誌、少女終末算術とか読んでみたい。あのふたりが数を再発見するような感じで。
飛車丸
@hisyamaru708
over 1 year ago
去年コロナで今年はインフルか… やはり流行したら逃れられないな…
飛車丸
@hisyamaru708
over 1 year ago
@Alwe_Logic
なるほど、著者ごと調べたりされてるんですね。 恥ずかしながらそういうこともよく知らないので参考になります。ありがとうございます!
飛車丸
@hisyamaru708
over 1 year ago
@Alwe_Logic
ありがとうございます! やっぱりarXivなどで、気になるワードを入れて調べるとかですか?
Last Seen Users on Sotwe
boy@Borneo
Seen from
Singapore
CryptoTrav
Seen from
Turkey
alpbaturay
Seen from
Turkey
Canada 🇨🇦
Seen from
Turkey
♀️ZEVK ÇIĞLIKLARI♂️
Seen from
Turkey
🦊Bờ In Bin🦊
Seen from
Vietnam
sex diyarı
Seen from
Turkey
พูลศักดิ์ สุวรรณไกรษร
Seen from
Thailand
Tala
Seen from
Netherlands
نوير 🍇🤲
Trends for you
1
jungkook
Under 10K tweets
2
Boots
Under 10K tweets
3
Austria
Under 10K tweets
4
#TAEHYUNGxCELINE
Under 10K tweets
5
Good Sunday
Under 10K tweets
6
Ansem
Under 10K tweets
7
Happy Birthday Elon
Under 10K tweets
8
#PPxSTAKE
Under 10K tweets
9
Oracle AI Trade
Under 10K tweets
10
Portugal
Under 10K tweets
Most Popular Users
1
Elon Musk
@elonmusk
240.6M followers
2
Barack Obama
@barackobama
119.2M followers
3
Donald J. Trump
@realdonaldtrump
111.7M followers
4
Cristiano Ronaldo
@cristiano
110.5M followers
5
Narendra Modi
@narendramodi
107M followers
6
Rihanna
@rihanna
97.6M followers
7
NASA
@nasa
92.2M followers
8
Justin Bieber
@justinbieber
90.9M followers
9
KATY PERRY
@katyperry
87.6M followers
10
Taylor Swift
@taylorswift13
81.4M followers
11
Lady Gaga
@ladygaga
73M followers
12
Virat Kohli
@imvkohli
69.8M followers
13
Kim Kardashian
@kimkardashian
69.8M followers
14
YouTube
@youtube
68.7M followers
15
Bill Gates
@billgates
63.8M followers
16
Neymar Jr
@neymarjr
62.5M followers
17
The Ellen Show
@theellenshow
62.4M followers
18
CNN
@cnn
61.9M followers
19
X
@x
60.8M followers
20
Selena Gomez
@selenagomez
60.7M followers
Olivia
Online
✨
⭐
💫