Subsequent formalizations were framed as attempts to define " effective calculability " or " effective method "; those formalizations included the Gödel – Herbrand – Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's " Formulation 1 " of 1936, and Alan Turing's Turing machines of 1936 – 7 and 1939.

* 1930 – Gandhi raises a lump of mud and salt and declares, " With this, I am shaking the foundations of the British Empire.

* 1930 – Manuel Neri, American artist

* 1930 – Michał Życzkowski, Polish technician ( d. 2006 )

* 1930 – Félix Guattari, French philosopher and theorist ( d. 1992 )

* 1930 – Gholamreza Takhti, Iranian wrestler ( d. 1968 )

* 1930 – Judge Joseph Force Crater steps into a taxi in New York and disappears never to be seen again.

* 1930 – Abbey Lincoln, American singer-songwriter and actress ( d. 2010 )

* 1930 – Betty Boop makes her cartoon debut in Dizzy Dishes.

* 1930 – Jacques Parizeau, Canadian economist and politician

* 1930 – Wilfried Hilker, German football referee

* 1930 – Don Ho, American singer and pianist ( d. 2007 )

* 1930 – Bernard Manning, English comedian ( d. 2007 )

* 1930 – Wilmer Mizell, American baseball player ( d. 1999 )

* 1930 – Vali Myers, Australian painter ( d. 2003 )

* 1930 – Cosima Wagner, Hungarian daughter of Franz Liszt and widow of Richard Wagner ( b. 1837 )

* 2012 – Jerry Lynch, American baseball player ( b. 1930 )

Iuliu Maniu ( 1873 – 1953 ) was prime minister with an agrarian cabinet from 1928 to 1930, but the Great Depression made proposed reforms impossible.

1930 ) vol 1 pp 1 – 146 covers many major thinkers down to 1800

* 1837 – Mary Harris Jones, American labor organizer ( d. 1930 )

* 1930 – Lionel Bart, English composer ( d. 1999 )

* 1930 – Pierre Bourdieu, French sociologist ( d. 2002 )

* 1930 – Julie Bovasso, American actress ( d. 1991 )

Schweitzer established his reputation further as a New Testament scholar with other theological studies including The Psychiatric Study of Jesus ( 1911 ); and his two studies of the apostle Paul, Paul and his Interpreters, and the more complete The Mysticism of Paul the Apostle ( 1930 ).

* 1930 – Paul Soles, Canadian actor

* 1930 – Paul Mazursky, American director and writer

* 1930 – Paul Horn, American jazz flutist

The situation changed rapidly in the years 1925 – 1930, when working mathematical foundations were found through the groundbreaking work of Erwin Schrödinger, Werner Heisenberg, Max Born, Pascual Jordan, and the foundational work of John von Neumann, Hermann Weyl and Paul Dirac, and it became possible to unify several different approaches in terms of a fresh set of ideas.

Although Schrödinger himself after a year proved the equivalence of his wave-mechanics and Heisenberg's matrix mechanics, the reconciliation of the two approaches and their modern abstraction as motions in Hilbert space is generally attributed to Paul Dirac, who wrote a lucid account in his 1930 classic Principles of Quantum Mechanics.

* 1930 – Paul Foytack, American baseball player

* 1855 – Paul Wiesner, German sailor ( d. 1930 )

By 1930, quantum mechanics had been further unified and formalized by the work of Paul Dirac and John von Neumann, with a greater emphasis placed on measurement in quantum mechanics, the statistical nature of our knowledge of reality, and philosophical speculation about the role of the observer.

The idea of a reduced density matrix was introduced by Paul Dirac in 1930.

* April 16 – Paul von Breitenbach, German railway planner ( d. 1930 )

The Dirac delta function as such was introduced as a " convenient notation " by Paul Dirac in his influential 1930 book Principles of Quantum Mechanics.

Paul Whiteman: Pioneer in American Music, 1890 – 1930 ; Vol.

* Piano Concerto for the Left Hand in D major ( 1929 – 1930 ; composed for Paul Wittgenstein )

In May 1930, a petition was signed by 1, 028 economists in the U. S. asking President Hoover to veto the legislation, organized by Paul Douglas, Irving Fisher, James TFG Wood, Frank Graham, Ernest Patterson, Henry Seager, Frank Taussig, and Clair Wilcox.

* 1930 Paul Dirac introduces electron hole theory

The completeness of sentential calculus was proved by Paul Bernays in 1918 and Emil Post in 1921, while the completeness of predicate calculus was proved by Kurt Gödel in 1930, and consistency proofs for arithmetics restricted with respect to the induction axiom schema were proved by Ackermann ( 1924 ), von Neumann ( 1927 ) and Herbrand ( 1931 ).

Paul N. Kameroff, Sr. also established a general store, a pool hall, and a coffee shop around 1930.

* Paul Natorp, Platons Ideenlehre ( Leipzig 1930 )

* OM-42PS: Paul Simon's signature acoustic model ( manufactured in the 1997 model year ) is based on the OM-42, which had not been manufactured since 1930.

" They included Orson Bean ( b. 1928 ), Sean Connery ( b. 1930 ), Allen Ginsberg ( 1926 – 1997 ), Paul Goodman 1911 – 1972 ), Jack Kerouac ( 1922 – 1969 ), Isaac Rosenfeld ( 1918 – 1956 ), J. D. Salinger ( 1919 – 2010 ), William Steig ( 1907 – 2003 ), and Robert Anton Wilson ( 1932 – 2007 ).

* Paul de Vivie, aka Velocio ( 1853 – 1930 ) publisher of Le Cycliste, early champion of the dérailleur and father of French cycle touring.