But to hear her argument, a new level of cold calculability is seen.

Ale aby słyszeć jej argument nowy poziom zimnej obliczalność jest dostrzeżony.

Calculability is a consequence of this conformity to law.

Obliczalność jest konsekwencją tego przystosowania do prawa.

Rules and regulations that make efficiency, calculability, and predictability possible.

Przepisy, które robią wydajność, obliczalność, i przewidywalność możliwy.

Thus, a deconstructive reading of the law is a leap from calculability towards incalculability.

Stąd, dekonstruktywne czytanie prawa jest skokiem z obliczalność w kierunku nieprzewidywalności.

And to our mind such is Church's identification of effective calculability with recursivness."

I do naszego umysłu taki jest identyfikacją Kościoła skutecznej obliczalność z recursivness. "

Next, it was necessary to identify and prove the equivalence of two notions of effective calculability.

Następnie, trzeba było zidentyfikować i dowieść równoważności dwóch pojęć skutecznej obliczalność.

Post and "effective calculability" as "natural law"

Poczta i "skuteczna obliczalność" jako "prawo natury"

In Church (1936) we see, under the chapter 7 The notion of effective calculability, a footnote 18 which states the following:

W kościele (1936) my patrz niżej rozdział 7 pojęcie skutecznej obliczalność, przypis 18 który stwierdza następowanie:

The corresponding question of the relationship between effective calculability and λ-definability had previously been proposed by the author independently."

Z odpowiednim pytaniem związku pomiędzy skuteczną obliczalność a ?-definability wcześniej autor wystąpił samodzielnie. "

This quest required that the notion of "algorithm" or "effective calculability" be pinned down, at least well enough for the quest to begin.

To poszukiwanie wymagało, by pojęcie "algorytmu" albo "skuteczna obliczalność" spięty szpilkami w dół, przynajmniej dobrze dość dla dążenia do zaczęcia.

The character of calculability is imposed upon agents as they come to work in markets and are "formatted" as calculative agencies.

Charakter obliczalność jest nałożony na agentów ponieważ oni przychodzą do pracy w rynkach i są "sformatowany" jak obliczeniowe agencje.

Another definition of effective calculability has been given by Church ... who identifies it with λ-definability.

Inna definicja skutecznej obliczalność została dana przez Kościół... kto identyfikuje to z ?-definability.

The Heisenberg Principle clearly demonstrates the calculability of the uncertainties to which you so glibly allude.

Heisenberg Zasada najwyraźniej prezentuje obliczalność niepewności który ty tak gładko robić aluzję.

The development ... leads to ... an identification of computability with effective calculability."

Rozwój... prowadzi... identyfikowanie się obliczalność ze skuteczną obliczalność. "

And Post had only proposed a definition of calculability and criticized Church's "definition", but had proved nothing.

I Poczta tylko zaproponowała określenie obliczalność i skrytykowała Kościoła "definicja", ale okazać się nieistotny.

The proposal to identify these notions with the intuitive notion of effective calculability is first made in the present paper (but see the first footnote to 7 below).

Propozycja określenia tych pojęć z intuicyjnym pojęciem skutecznej obliczalność najpierw jest złożona w obecnym papierze (ale widzieć pierwszy przypis aby 7 poniżej).

Calculability - objective should be quantifiable (e.g., sales) rather than subjective (e.g., taste).

Obliczalność - cel powinien być wymierny (e.g., sprzedaże) a nie subiektywny (e.g., smak).

Although he doesn't call it his "thesis", Turing proposes a proof that his "computability" is equivalent to Church's "effective calculability":

Pomimo że on nie nazywa tego jego "teza", Turing proponuje dowód, że jego "obliczalność" odpowiada Kościoła "skuteczna obliczalność":

Calculability - goals are quantifiable (i.e., sales, money) rather than subjective (i.e., taste, labour).

Obliczalność - cele są wymierne (t.j., sprzedaże, pieniądze) a nie przypadek podmiotu (t.j., smak, praca).

(His use of the word "decision" and "predicate" extends the notion of calculability to the more general manipulation of symbols such as occurs in mathematical "proofs".)

(Jego użycie słowa "decyzja" i "orzeczenie" poszerza pojęcie obliczalność do ogólniejszej manipulacji symbolami taki jak następuje w matematyczny "dowody".)

See in particular page 100 (The Undecidable) where he defines the notion of "effective calculability" in terms of "an algorithm", and he uses the word "terminates", etc.

Widzieć szczególnie strona 100 (nierozstrzygalny) gdzie on określa pojęcie "skutecznej obliczalność" pod względem "algorytmu", i on używa słowa "kończy", itd.

Rather, in correspondence with Church (ca 1934-5), Gödel proposed axiomatizing the notion of "effective calculability"; indeed, in a 1935 letter to Kleene, Church reported that:

Raczej, w korespondencji z Kościołem (ca 1934-5), Gödel zaproponowany axiomatizing pojęcie "skutecznej obliczalność"; rzeczywiście, w 1935 list do Kleene, Kościół poinformował, że:

Rather, he regarded the notion of "effective calculability" as merely a "working hypothesis" that might lead by inductive reasoning to a "natural law" rather than by "a definition or an axiom".

Raczej, wziął pod uwagę pojęcie "skutecznej obliczalność" jak jedynie "hipoteza robocza" że móc prowadzić przez wnioskowanie indukcyjne "prawo natury" a nie przez "definicję albo aksjomat".

"The question of the relationship between effective calculability and recursiveness (which it is here proposed to answer by identifying the two notions) was raised by Gödel in conversation with the author.

"Pytanie związku pomiędzy skuteczną obliczalność i recursiveness (który to być tu zaproponować odpowiedzieć przez określanie dwóch pojęć) został zwiększony Gödel w rozmowie z autorem.

His footnote 18 says that he discussed the relationship of "effective calculatibility" and "recursiveness" with Gödel but that he independently questioned "effectively calculability" and "λ-definability":

Jego przypis 18 mówi, że omówił stosunki z "skuteczny calculatibility" i "recursiveness" z Gödel ale że samodzielnie przesłuchał "skutecznie obliczalność" i "?-definability":