Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Investigations into the Predicate Calculus

Name: Investigations into the Predicate Calculus
Brand: College Publications
SKU: 9781848904071
Price: 73.49 PLN
Availability: InStock

Autor: Sara Negri, Jan Von Plato

Język:

Oprawa: Miękka

Wydawca: College Publications

Dostępność: Dostępna u dostawcy

Wysyłamy za 14-21 dni

73.49 zł

Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Ge...

Informacje o książce

Autor

Sara Negri, Jan Von Plato

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2022

strony

140

EAN

9781848904071

ISBN

184890407X

Enbook ID

42853822

Wydawca

College Publications

Waga

225

Wymiary

156 x 234 x 8

Pełny opis

Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in Göttingen, with Ketonen hoping to receive a suitable topic for a doctoral dissertation and Gentzen instead deeply immersed in attempts at proving the consistency of analysis. Ketonen's thesis of 1944, his only work in logic, introduced what is today called the G3-sequent calculus. It is his best-known discovery, a sequent calculus for classical propositional logic the logical rules of which are all invertible. Few read his thesis, the results of which were instead made available through a long review by Paul Bernays. Ketonen's calculus is the basis of Evert Beth's tableau method and of the sequent calculi in Stephen Kleene's influential {it Introduction to Metamathematics}. A second result was a sharpening of the midsequent theorem, by which the number of quantifier inferences with eigenvariables could be minimized. The existence of a weakest possible midsequent followed, in the sense that if any midsequent is derivable, a weakest one is. Turning this into a contrapositive, Ketonen found a purely syntactic method for proofs of underivability that he applied to affine plane geometry. His result, in modern terms, was a positive solution to the word problem for the universal fragment of plane affine geometry, with a syntactic proof of underivability of the parallel postulate from the rest of the affine axioms as a corollary.

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Investigations into the Predicate Calculus

Informacje o książce

Pełny opis

Możesz być zainteresowany

The 3rd Option (2nd Ed.)

Word Search Challenge

Serene Compassion

Transport Phenomena for Chemical Reactor Design

Paranormal World of Paul McKenna

Stuff You Ask: A Guide to Understanding What This Thing Called "Life" is All About

Judging

They Bled Blue

Complete Idiot's Guide to QuarkXPress

Lonely Planet Pocket New York City

Klienci, którzy kupili tę książkę, kupili również

El hombre

Gilbeys, Wine and Horses: A Biography

Ofenhits

Nos pagos de huinca loo

Mente inquieta. Stress, ansia e depressione

Un Aventurero Ilustrado: La Vida de William Carey = Illustrated an Adventurer

Das Machiavelli-Syndrom

Milníky biografu mého života