Roger Maddux

Roger Maddux

Roger Maddux (born 1948) is an American mathematician specializing in algebraic logic.

He completed his B.A. at Pomona College in 1969, and his Ph.D. in mathematics at the University of California in 1978, where he was one of Alfred Tarski's last students. His career has been at Iowa State University, where he fills a joint appointment in computer science and mathematics.

Maddux is primarily known for his work in relation algebras and cylindric algebras, and as the inventor of relational bases.cite web | url = http://www.doc.ic.ac.uk/~imh/frames_website/bases.html | title = Relational bases, relation algebra - cylindric algebra connections | accessdate = 2007-03-03 | last = Hodkinson | first = Ian] cite journal | last = Maddux | first = Roger | title = A sequent calculus for relation algebras | journal = Annals of Pure and Applied Logic | volume = 25 | year = 1983 | pages = 73–101 | doi = 10.1016/0168-0072(83)90055-6]

His Erdős number is 2.

References

Books by Maddux

*2006. "Relation Algebras", vol. 150 in "Studies in Logic and the Foundations of Mathematics". Elsevier Science

External links

* [http://orion.math.iastate.edu:80/maddux/ Maddux home page] at the Iowa State University.
*MathGenealogy |id=29537


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Maddux — can refer to:*Greg Maddux, baseball pitcher for the Los Angeles Dodgers *Mike Maddux, former baseball pitcher and current pitching coach for the Milwaukee Brewers *Jared Maddux, Tennessee politician *Roger Maddux, American professor and… …   Wikipedia

  • Roger Clemens — Pitcher Born: August 4, 1962 (1962 08 04) (age 49) …   Wikipedia

  • Greg Maddux — Infobox MLB player name=Greg Maddux width=300 position=Starting pitcher team=Los Angeles Dodgers number=36 bats=Right throws=Right birthdate=birth date and age|1966|4|14 birthplace=city state|San Angelo|Texas debutdate=September 3 debutyear=1986… …   Wikipedia

  • Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… …   Wikipedia

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

  • Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… …   Wikipedia

  • List of people by Erdős number — Paul Erdős was one of the most prolific writers of mathematical papers. He collaborated a great deal, having 511 joint authors, a number of whom also have many collaborators. The Erdős number measures the collaborative distance between an author… …   Wikipedia

  • Algebraic logic — In mathematical logic, algebraic logic formalizes logic using the methods of abstract algebra.Logics as models of algebrasAlgebraic logic treats logics as models (interpretations) of certain algebraic structures, specifically as models of bounded …   Wikipedia

  • Liste de personnes par nombre d'Erdos — Liste de personnes par nombre d Erdős Liste des personne avec un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Liens externes // …   Wikipédia en Français

  • baseball — /bays bawl /, n. 1. a game of ball between two nine player teams played usually for nine innings on a field that has as a focal point a diamond shaped infield with a home plate and three other bases, 90 ft. (27 m) apart, forming a circuit that… …   Universalium

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”