2012-03-01から1ヶ月間の記事一覧

Euler project 27

#-*- coding:utf-8 -*- import random from datetime import datetime #素数判定 def is_prime3(q,k=50): q = abs(q) if q == 2: return True if q < 2 or q&1 == 0: return False d = (q-1)>>1 while d&1 == 0: d >>= 1 for i in xrange(k): a = random.ran…

「スマリヤンの決定不可能の論理パズル-ゲーデルの定理と様相論理-」9章ーパラドックス?ー

一型の論者=命題論理を完全に理解するもの (1)論者はすべての恒真式を信じている。 (2)任意の命題X、Yに関して、その人はXとX→Yを信じるならば、Yを信じる。問題 教授 P「あなたが神が存在しないと正しく信じるならば、 そしてそのときにかぎり神は存…

メモ

カントの批判哲学 ジル・ドゥルーズ ~p22.経験論における世界の諸目的は、自然によって紐づけられる。 理性→独創的なまやかし、策略、諸目的などないカント 理性固有の諸目的がある、そしてそれだけが究極の目的 「究極目的とは、・・・自然だけでは十分であ…

Euler project 26

解答の方針: 普通に循環小数の循節をフェルマーの小定理に基づいて解く #-*- coding: utf-8 -*- import random from datetime import datetime #素数判定 def is_prime3(q,k=50): q = abs(q) if q == 2: return True if q < 2 or q&1 == 0: return False d =…