Alonzo Church

Record year1932–1941

summaryIt constructs a formal method of computation through function abstraction and substitution, investigating conversion, normal forms, and definability.

M rationaleLambda conversion provides an independent, reusable formal tool for computation; only the methodological system is counted, without assigning all later programming languages to it.

attribution rationaleComplete attribution budget: Alonzo Church (60.00%): organized the system of lambda conversion and definability. Stephen Kleene (20.00%): important joint input on properties of conversion and definability. John Barkley Rosser (10.00%): joint input on conversion and proofs of normal forms. Moses Schönfinkel (5.00%): precursor methods for handling functions. Unallocated (5.00%): unverified auxiliary inputs.

overlap boundaryConversion and normal forms are combined into one methodological family; the joint undecidability conclusion is not counted again as a third item.

Evidence gapsThe original joint paper of 1936 and specific auxiliary shares still require further evidence.

Record year1940

summaryIt incorporates lambda expressions into a simple type system, organizing logical rules and mathematical expression.

M rationaleIt counts the independent expressive and inferential capacity of a typed system; untyped lambda methods and later verification software are distinguished separately.

attribution rationaleComplete attribution budget: Alonzo Church (60.00%): organized this lambda formulation and its formal development. Precursors in type theory and mathematical logic (20.00%): the original text explicitly identifies the prior work of Whitehead/Russell, Hilbert/Ackermann, Hilbert/Bernays, and simple types; individual shares have not been quantified. Stephen Kleene (7.00%): the original text uses Kleene's predecessor functions on p59. John Barkley Rosser (5.00%): the original text attributes definitions of addition and multiplication on p68. Moses Schönfinkel (3.00%): prior work on handling multivariable functions on p57. Unallocated (5.00%): auxiliary inputs not verified one by one; unread footnotes are not arbitrarily assigned to particular people.

overlap boundaryUntyped conversion properties, decidability conclusions, and later HOL-system engineering are excluded; the arithmetic demonstration within the same paper is not given a separate full score.

Evidence gapsA window of the original text has been read; some formulas and individual precursor shares have not been fully rechecked.

Record year1937–1938

summaryDeveloped effective notations for constructive ordinals and research on definability with Kleene.

M rationaleEffective notations connect ordinal research with formal computation; the joint method and organization are counted, without a separate bonus based on name order.

attribution rationaleComplete attribution budget: Alonzo Church (45.00%): joint formal definitions and the constructive organization of 1938; the share is not automatically split equally according to name order. Stephen Kleene (40.00%): joint definitions, properties, and the explicitly stated input to equivalence proofs. Precursors in ordinals and formal methods (10.00%): existing foundations in ordinals and formal methods; individual roles still require checking. Unallocated (5.00%): unverified auxiliary inputs retained.

overlap boundaryThe joint definition of 1937 and the explanatory revision of 1938 are combined as one outcome family; basic conversion rules are not counted again, nor is the whole later field of ordinal logic claimed.

Evidence gapsA third-party transcription of the original text has been read; the original scan and the joint paper of 1937 still require examination.

Record year1957–1962

summaryIt formulates the circuit-synthesis problem in recursive arithmetic and gives solutions for some cases.

M rationaleIt counts the bounded synthesis method and problem formulation; other researchers' solutions and the still-unsolved general problem are not treated as completed by him.

attribution rationaleComplete attribution budget: Alonzo Church (65.00%): problem formulation and partial synthesis solutions in restricted recursive arithmetic; p29 explicitly attributes the first case to the author. J. B. Wright (10.00%): p29 explicitly states that a modification shortening the synthesis algorithm had been incorporated into [7]. Thoralf Skolem (10.00%): prior work in recursive arithmetic, supported by the first paragraph of 1957 and the 1962 reference [19]. Precursors in formal circuits and logical methods (8.00%): existing input from formal circuits and logical methods; individual breakdown remains under review. Unallocated (7.00%): as-yet unnamed auxiliary inputs.

overlap boundaryThe 1957 lecture, 1960 publication, and 1962 summary are linked as one item; internal solutions such as Case 1 and Case 2 are combined first, rather than each receiving a separate full M.

Evidence gapsThe scope of the problem, attribution of solutions, and references have been checked; some auxiliary inputs remain unnamed.

Record year1951–1993

summaryIt studies the sense, denotation, and relationship of expressions through a formal system.

M rationaleIt counts a specialized semantic method developed continuously; multiple revisions are combined as one family rather than accumulated paper by paper.

attribution rationaleComplete attribution budget: Alonzo Church (65.00%): continuously organized and revised this formal-logical scheme. Gottlob Frege (20.00%): explicit intellectual prior work for the distinction between sense and denotation. Precursors in logic and semantics (10.00%): other prior work in logic and semantics, not arbitrarily subdivided before the original texts have been checked paper by paper. Unallocated (5.00%): other inputs not yet identified.

overlap boundaryThe 1951 and subsequent revisions are first combined as the same bounded methodological family, without accumulation by paper or Alternative number; the type tools themselves are not counted again.

Evidence gapsThe basis is a comparison in a later author's paper; Church's original series of papers still needs to be completed.

Record year1939

M rationaleOrdinal progressions and oracle machines turn the provability limits of formal systems into an extensible framework, creating an important capacity in foundational logic; the whole subsequent body of recursion theory is not included.

attribution rationaleChurch's attribution share in this achievement is 10.0000%. Turing supplied the core construction of ordinal logics and the oracle framework; the computability and recursion-theory inputs of Church and Kleene are explicitly retained.

Evidence gapsExisting sources and a limited set of principal families are retained for the assessment; evidence of continued use, independent alternative paths, and predecessor contributions is not exhaustive. This revision did not reread the full texts of all original works.

Record year1936

M rationaleRepresenting finite symbolic processes in machine form and constructing universal simulation provides a reusable computational method; the limiting argument verifies that method and is not counted again as a shared undecidability conclusion.

attribution rationaleChurch's attribution share in this achievement is 4.00%. Turing's machine construction accounts for 68%; Church's lambda-method relational input 4%; logical predecessors 9%, Max Newman 6%, human computation and symbolic-operation practice 4%, scholarly-publication support 4%, and unallocated 5%. The attribution proportions are revisable research judgments.

overlap boundaryIt is separately counted with Church's lambda-conversion method as independent method delivery; the joint decision conclusion and the equivalence relation between the two forms are not listed again as a third full contribution.

Evidence gapsExisting sources and a limited set of principal families are retained for the assessment; evidence of continued use, independent alternative paths, and predecessor contributions is not exhaustive. This revision did not reread the full texts of all original works.

Record year1974

summaryIt constructs a model containing a universal set and studies the consistency of the related set theory.

M rationaleIt counts the research value of a specialized model construction; Oswald's independent discovery is distinguished, and later authors' added theorems are not counted.

attribution rationaleComplete attribution budget: Alonzo Church (65.00%): his bounded construction and argument; not a contribution to the entire field. Precursors in axiomatization and model methods (25.00%): existing input from axiomatization and model methods, not yet quantified person by person. Unallocated (10.00%): the complete role chain in the original paper has not yet been verified.

overlap boundaryOnly Church's specific model and relative-consistency construction are counted; it is independent of lambda calculus, ordinals, and intensional semantics. Oswald's independent discovery is a comparison, not mistakenly treated as Church's upstream collaborator; general techniques shared by both are not exclusively claimed, and Forster's and Button's added theorems are not counted. If Oswald is listed in the future, the value of shared techniques must be jointly assessed, and neither person may receive the full shared portion; Button is only a later summary and cannot replace original-work evidence.

Evidence gapsA later author's restatement of the construction has been read; Church's 1974 original and the complete role chain still require supplementation.

Record year1925–1926

summaryIt studies conditions for irredundant axiom sets and gives an illustration with integer systems.

M rationaleProvisionally estimated as a local axiomatization method; a statement of conditions does not mean that the algorithmic problem of general axiom independence has been solved.

attribution rationaleComplete attribution budget: Alonzo Church (65.00%): his bounded construction and argument; not a contribution to the entire field. Precursors in axiomatization methods (25.00%): existing input from axiomatization and model methods, not yet quantified person by person. Unallocated (10.00%): the complete role chain in the original paper has not yet been verified.

overlap boundaryThe same-topic leads of 1925 and 1926 are provisionally combined into one methodological family. Only the discrimination and integer-system delivery described in the report are counted; the 1927 paper on the axiom of choice is excluded, and no solution to general axiom-independence determination is claimed. A contemporaneous conference abstract is not the original Transactions paper; the conditional statement does not assert a general algorithm.

Evidence gapsThe basis is a contemporaneous conference abstract; the full original paper, subsequent increments, and specific precursor shares remain to be checked.

Record year1936–1979

summaryHe long served in research editing, book reviews, and literature organization for a journal of symbolic logic.

M rationaleIt evaluates sustained scholarly editorial service; original research outcomes in journal papers belong to their respective authors and are not counted for the individual editor.

attribution rationaleComplete attribution budget: Alonzo Church (55.00%): long-term editorial and book-review organization. Book-review authors and scholarly editors (20.00%): limited to evaluative labor by external book-review authors and other scholarly editors, excluding the office's administrative production listed separately here. Association for Symbolic Logic (10.00%): organizational vehicle for the journal. Book Review Office staff (8.00%): limited to office administration, organization, and production services, excluding separately listed scholarly judgment in book reviews; if the same person held both roles, the different labor must still be deduplicated. University of California, Los Angeles (4.00%): the memorial explicitly identifies support for the Book Review Office after its move there. Unallocated (3.00%): other unquantified support.

overlap boundaryFounding, editing, book reviews, and related bibliography organization are first combined into one service chain; if an original book review is separately established as an outcome, overlapping value must be explicitly deducted from this chain.

Evidence gapsThe division of labor among collaborators and the specific workload for each volume have not been verified one by one.

Record year1944–1956

summaryHe wrote a mathematical-logic textbook, systematically organizing concepts, symbols, and arguments.

M rationaleIt counts the textbook's service of knowledge organization and dissemination, without duplicating original theorems in the book or counting the unfinished second volume.

attribution rationaleComplete attribution budget: Alonzo Church (65.00%): writing and organizing logical knowledge. Logic researchers synthesized in the textbook (20.00%): prior research synthesized by the textbook; chapter-by-chapter attribution is unfinished. Princeton University Press (10.00%): the actual publication channel has been verified. Unallocated (5.00%): specific copyediting and production remain unnamed.

overlap boundaryThe 1944, 1956, and reprint editions are treated as one textbook-development chain; the unfinished second volume is not separately counted; original theorems in the book or the same classroom delivery are not claimed again.

Evidence gapsThe press and memorial essay support publication and dissemination; records of the text itself and of specific course adoption remain to be supplied.

Record year1956–1972

summaryHe wrote mathematics and logic content for an encyclopedia and served as a consulting editor.

M rationaleOnly the writing of reference knowledge and consulting service are provisionally estimated; where textbook wording was reused, only the additional adaptation labor is counted.

attribution rationaleComplete attribution budget: Alonzo Church (60.00%): the archival catalogue explicitly identifies him as a writer and consulting editor. Precursors in mathematical and logical knowledge (20.00%): existing mathematical and logical knowledge synthesized; authors have not been located item by item. Encyclopaedia Britannica publishing system (15.00%): vehicle for encyclopedia publication and editorial organization; unnamed individual editors are not separately duplicated. Unallocated (5.00%): specific assisting inputs are unclear.

overlap boundaryOnly independent writing and consulting delivery for reference entries are counted. Textbooks, journal book reviews, and original theorems are excluded; reprints of the same wording are not accumulated year by year. If an entry reuses textbook wording, only the additional adaptation service is counted, without duplicating the original writing labor; the catalogue does not prove that division of labor for each entry has been verified.

Evidence gapsThe archival catalogue demonstrates that the work existed; the entry texts, specific division of labor, and dissemination effects remain to be supplied.

Record year1929–1990

summaryHe taught at Princeton and the University of California, Los Angeles, and supervised doctoral research.

M rationaleIt counts specific training and teaching service; students' own labor and their later independent outcomes are not exclusively attributed to the advisor.

attribution rationaleComplete attribution budget: Alonzo Church (55.00%): verified advising and teaching service. Doctoral students receiving supervision (25.00%): students' own labor in learning and research; future discoveries are not claimed here. Princeton University (10.00%): institution for doctoral training and early teaching. University of California, Los Angeles (5.00%): later teaching institution. Unallocated (5.00%): other teaching support has not been identified.

overlap boundaryAn independent service of advisor training, without duplicating the textbook, joint research, Turing's 1936 outcome, or each student's later contributions.

Evidence gapsAdvisory relationships are documented; material on specific supervision and learning results remains limited.

Record year1956

M rationaleM4.3: general and lasting distinction between random input and noncomputable information in computational capability, with independent theorem-level reuse; broader than a narrow counting technique, below a whole computing foundation or universal machine theory. 4.0 and 4.6 represent narrower-theorem versus wider conceptual-method readings.

attribution rationaleChurch’s attribution share in this outcome is 1.00%. Turing’s universal machine and computability framework are identifiable specific premises in the paper; the joint proof work of De Leeuw, Moore, and Shapiro and other mathematical inputs are listed separately, and Turing cannot be listed as a paper author.

overlap boundaryOne 1956 joint knowledge family, Theorems 1–5 and their stated effective supplements: p-machine enumeration/ordered-sequence relation to deterministic input carrying p; computable p does not enlarge this class; noncomputable p can. c-s-machine computable transition/output functions reduce to fair-coin machines in the specified eventual-output sense.

Evidence gapsExisting sources and a limited set of principal families are retained for the assessment; evidence of continued use, independent alternative paths, and predecessor contributions is not exhaustive. This revision did not reread the full texts of all original works.