Purchase Solution

Gerhard Gentzen

Not what you're looking for?

Ask Custom Question

What are Gerhard Gentzen's mathematical accomplishments?

Purchase this Solution
Solution Summary

This describes Gerhard Gentzen's accomplishments.

Solution Preview

At age 22 in 1932, Gentzen submitted paper #1: "On the Existence of Independent Axiom Systems for Infinite Sentence Systems." He introduces a system of the propositional calculus as a sequent calculus based on Hertz's work. He modifies Hertz's "syllogism" rule to be Gentzen's "cut" rule. In this context he constructs an infinite set of sentences that has no independent set of axioms. He also shows that all "linear" sentence systems do have an independent axiomatization.
Gentzen classifies mathematics into three levels (a classification which goes back to Weyl [1931]) based on how infinity is used: elementary number theory, analysis and general set theory. ...

Purchase this Solution
Free BrainMass Quizzes
Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

Probability Quiz

Some questions on probability

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

View More Free Quizzes
Related BrainMass Solutions

  • Global Expansion: Barriers

    ., Gerhard, U., Fernie, J., & Arnold, S. J. (2009). Consumer acceptance and market success: Wal-Mart in the UK and Germany. International Journal of Retail & Distribution Management, 37(3), 205-225. 3. Gerhard, U., & Hahn, B. (2005).

  • Finding Electric Fields

    However, just in case, you can also find these formulae at web page http://www.phys.uri.edu/~gerhard/PHY204/tsl94.pdf From these formula we need the following: A uniformly charged sphere of radius R and charge density ρ creates electric field

  • Social Movements

    Contemporary social evolutionists like Gerhard Lenski, Jr., however, view social change as multilinear rather than unilinear.

  • Lifelong Learning and Memory

    Retrieved November 3, 2008, from http://l3d.cs.colorado.edu/~gerhard/papers/lll99.pdf This solution explains why it is important to engage in lifelong learning. References provided in APA format.

  • Childhood Obesity

    Gerhard, T. (2008). Bias: Considerations for research practice. American Journal of Health System Pharmacy, 65, 2159-68. http://www.epzicom.com/hiv-support/hiv-resources.html?

  • International Business Operations Management

    ., 2012 (2) International Operations Management Gerhard J. Plenert Copenhagen Business School Press DK, 2002 The answer to this problem explains important issues in international business operations management.

  • Why Pay Incentives Work

    According to Gerhard (2014), incentive pay programs are common in countries where collectivism is the common culture in the workplace. Workers simply do not object to pay for performance programs.

  • bonds, stocks, payments, PV needed, Retiring, time value $

    495716 Brian Robinson, Sam Gerhard, Cory Ponder, tony Jones, Echo Systems: bonds, stocks, payments, PV needed, Retiring. Problem 1: Brian Robinson plans to to retire in exactly 35 years.

  • three global macro economic variables

    ASSISTANT SECRETARY OF DEFENSE (C3I/COMMAND CONTROL RESEARCH PROGRAM) WASHINGTON DC Published by Defense Technical Information Center, 2005 Title: Gatekeeper and process promoter: key persons in agile and innovative organizations Jurgen Hauschildt, Gerhard

View More Related Solutions