Wednesday, August 14, 2013

Little Dragon- Little Man (Yours Truly)

Gnarls Barkley- Smiley Faces.

Rachel, don't you know I collect women like objects? There's barbed wire between us, isn't there? --Kai.

Immanuel Kant- Critique Of Pure Reason. 

 "HUMAN REASON, in one sphere of its cognition, is called upon to consider questions, which it cannot decline, as they are presented by its own nature, but which it cannot answer, as they transcend every faculty of the mind."

The Beatles- Polythene Pam.

Let's Have A Baby Kinzi.

Ame means Rain. 雨

Enfance[modifier | modifier le wikicode]

Fils de Rudolf Gödel, dirigeant d'une petite entreprise textile, et de Marianne Gödel (née Handschuh). Au sein de cette famille germanophone, le petit Kurt est surnommé « Der Herr Warum » (M. Pourquoi)1. Il fréquente l'école primaire puis secondaire à Brno, qu'il terminera avec les honneurs en 1923. Bien que Kurt ait d'abord excellé en langues, il devient peu de temps plus tard un fervent amateur d'histoire et de mathématiques. Cette passion pour les mathématiques prend une nouvelle ampleur en 1920 lorsque son frère aîné Rudolf (né en 1902) part pour Vienne suivre un cursus médical. Adolescent, Kurt étudie déjà les travaux de Gabelsberger, la théorie de Goethe sur Isaac Newton, et les écrits de Kant.

2Pac is still alive.


Drawing Tupac.png
別名Tupac, Makaveli, Pac
活動期間1991年 - 1996年
Out Da Gutta
Live Squad
2パック(2Pac 本名:トゥパック・アマル・シャクールTupac Amaru Shakur) 1971年6月16日 - 1996年9月13日)は、アメリカ合衆国ヒップホップMC俳優である。ニューヨーク市マンハッタン区ハーレム地区出身、アフリカン・アメリカン。「トゥパック・アマル」は、古代インカ語で「輝ける龍」の意味(インカ帝国最後の皇帝トゥパク・アマルと、彼の2代目を自称し反乱を起こしたホセ・ガブリエル・コンドルカンキ(トゥパク・アマル2世)の名前から)。身長180cm[1]



The Beatles- I've Just Seen A Face.

Intimacy vient de savoir quand vous allez mourir.

Dubstar- I Will Be Your Girlfriend.

Je suis une prostituée qui appelle votre famille au téléphone. Je suis la fin de votre esprit. Tous vos amis vont rire.

Je considère souvent si oui ou non il aurait été avantageux pour vous tuer.

The Rain.
You are not made of stars. You are their bratty grandkids. --Kai

Le viol est seulement drôle quand vous êtes un clown.

Pissing and spanking. 

Африканских народов не являются технически человека.

Gottlob Frege--Begriffsschrift.


From Wikipedia, the free encyclopedia

The title page of the original 1879 edition
Begriffsschrift (German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. It is generally considered the work that marks the birth of modern logic.[citation needed]


Gottlob Frege- Die Grundlagen der Arithmetik (The Foundations of Arithmetic)

Criticisms of predecessors[edit source | editbeta]

Psychologistic accounts of mathematics[edit source | editbeta]

Frege objects to any account of mathematics based on psychologism, that is the view that math and numbers are relative to the subjective thoughts of the people who think of them. According to Frege, psychological accounts appeal to what is subjective, while mathematics is purely objective: mathematics are completely independent from human thought. Mathematical entities, according to Frege, have objective properties regardless of humans thinking of them: it is not possible to think of mathematical statements as something which evolved naturally through human history and evolution. He sees a fundamental distinction between logic (and its extension, according to Frege, math) and psychology. Logic explains necessary facts the order of ideas, whereas psychology studies certain thought processes in individual minds.


Turing Crackpottery!

" the key to the proof is a program that you can actually write, easily, in a couple of lines of code in a scripting language. And best of all, it's incredibly profound - it proves something very similar to Gödel's incompleteness theorem. It's wonderful."

"The reason that it's so profound is that you can formulate any mechanical proof process as a computer program. If a proof exists for a theorem, then you can write a program which searches for the proof, and will eventually find it. Wecan do that. We can write a program which searches the entire space of first order predicate logic proofs, trying to find a proof for a specific theorem. If it's a theorem of FOPL, it will eventually find a proof. It might take a very, very long time. But if a statement isn't a valid theorem, then the program will never stop. It will keep searching, and searching, and searching. And if the program doesn't stop, you can never actually conclude that "It's not a theorem", because if you just ran the program for another 10, or 100, or 1000 steps, it might stop."


Negative answer[edit source | editbeta]

Before the question could be answered, the notion of "algorithm" had to be formally defined. This was done by Alonzo Church in 1936 with the concept of "effective calculability" based on his λ calculus and by Alan Turing in the same year with his concept of Turing machines. It was recognized immediately by Turing that these are equivalent models of computation.
The negative answer to the Entscheidungsproblem was then given by Alonzo Church in 1935–36 and independently shortly thereafter by Alan Turing in 1936. Church proved that there is nocomputable function which decides for two given λ calculus expressions whether they are equivalent or not. He relied heavily on earlier work by Stephen Kleene. Turing reduced the halting problem for Turing machines to the Entscheidungsproblem. The work of both authors was heavily influenced by Kurt Gödel's earlier work on his incompleteness theorem, especially by the method of assigning numbers (a Gödel numbering) to logical formulas in order to reduce logic to arithmetic.
Turing's argument is as follows. Suppose that we had a general decision algorithm for statements in a first-order language. The question whether a given Turing machine halts or not can be formulated as a first-order statement, which would then be susceptible to the decision algorithm. But Turing had proven earlier that no general algorithm can decide whether a given Turing machine halts.
The Entscheidungsproblem is related to Hilbert's tenth problem, which asks for an algorithm to decide whether Diophantine equations have a solution. The non-existence of such an algorithm, established by Yuri Matiyasevich in 1970, also implies a negative answer to the Entscheidungsproblem.
Some first-order theories are algorithmically decidable; examples of this include Presburger arithmeticreal closed fields and static type systems of many programming languages. The general first-order theory of the natural numbers expressed in Peano's axioms cannot be decided with such an algorithm, however.

See also[edit source | editbeta]

PHYS771 Lecture 3: Gödel, Turing, and Friends

"See, the Completeness Theorem was his Master's thesis, and the Incompleteness Theorem was his PhD thesis."

Tuesday, August 13, 2013

hanging in the trap of the beast a daughter, and if you go to buy a family, use whether this still a free coupon, stock up instant food with high calories.


--Kai. Recently fired for being a Marxist. 


南京事件 (1937年)

南京事件(なんきんじけん)は、日中戦争支那事変)初期の1937年(昭和12年)に日本軍中華民国の首都南京市を占領した際(南京攻略戦)、約6週間から2ヶ月にわたって中国軍便衣兵、敗残兵、捕虜、一般市民などを殺したとされる事件。この事件については、事件の規模、存否を含めさまざまな論争が存在している(南京大虐殺論争)。南京大虐殺、南京大虐殺事件、南京虐殺事件、The rape of Nankingなど多様な呼称がある(後述)。



Rape transfer from)
  1. Rape act, sexual assault of a common name. English notation rape
  2. I turned from one Internet slang . Have a meaning to say that it ends up messing up something.
    • Baseball , such as sports that much difference and get in the game, so the game deployment unilateral. One-sided game properly.
    • Video games act one to attack the other in power or volume, such as overwhelming. There is a "Furubokko" as a term similar. The online game that you killed in attack in a large camp in the re-emergence in the community -based rape may be referred to as.
    • Some of the original animation "state that was considered, such as, was made ​​a modification of the character set and story heinous damage to the original intention of the original rape may be referred to as ". There is a tendency for some people the word or phrase is called in this way if original or not finished in particular, production frame is an assigned to the original amount is extremely small. In the case of the pros and cons, " original Crusher "" original Breaker is sometimes referred to as. " For more information original destruction see.
  3. It is distributed inhabit the world vegetables , plant . Generally speaking the mustard is, be grown directly on the ground artificially Many have become an important food resources. In Japan rape is being sold as. Raw materials

Henry, get off the phone.

The ability to fit it. The ability to not fit in. Both are critical things to consider. 

Der Zen-Buddhismus lässt sich seit der Song-Zeit durch die Zeilen charakterisieren:
„1. Eine besondere Überlieferung außerhalb der Schriften,
2. unabhängig von Wort und Schriftzeichen:
3. unmittelbar des Menschen Herz zeigen, -
4. die (eigene) Natur schauen und Buddha werden.“[1]
Die vier Verse wurden gemeinsam als Strophe erstmals 1108 in dem Werk Zǔtíng Shìyuàn (祖庭事苑) von Mùān Shànqīng (睦庵善卿Bodhidharma zugeschrieben. Einzeln oder in verschiedenen Kombinationen tauchten die Zeilen bereits früher im chinesischen Mahayana-Buddhismus auf. Die Zuschreibung an die legendenumwobene Gründerfigur sieht man heute als Festlegung des Selbstverständnisses nach einer Phase des Richtungsstreites.[2]


Niger ( English : nigger ) is, mainly English-speaking world in, generally black refers to a derogatory term used as slang , which is one of the. Hip-hop MC , 2 pack nigga (According to the nigga is in the context, such as "brother",) is not a discriminatory word. The pot N black, dark-skinned person translated into Japanese [1] such as.
At least the United States is in, African-American just the place you want to use to refer to discrimination term from being regarded as a metaphor of this "Today N-Word that the euphemism of "is used is also often .

Hey man. Leave it alone.

  1. Peipel.

  2. I'm starting to like the look of lowercase letters.

  • People have no right to critique film. 
All films are a miracle. Humans being able to make motion pictures is a miracle.

You need courage but there's a comfortable sort of courage that is different from the other sort. It comes from behind you in a sense. 

Jusqu'alors, parmi les bases idéologiques de l'anarchisme, établies par FourierProudhonGuillaumeBakounine, etc., l'on trouvait :
  • la collectivisation des moyens de production, gérés par des sociétés ouvrières,
  • un salaire en fonction du travail réalisé par chacun,
  • l'hostilité à la religion,
  • la disparition de l'État et du gouvernement.