Moore’s Laboratory Method in Veblen’s Geometry

Definitions and mathematical statement

Nature of the entry. The supplied record concerns a historical research question about mathematical practice and pedagogy. It supplies no formal definition of Moore's Laboratory Method, no particular axiom system, and no mathematical conjecture with specified hypotheses and quantifiers. Its supplied statement-verification note identifies the passage as historical discussion rather than an open mathematical problem; the record marks the statement as unrecoverable. Consequently, a precise mathematical proposition cannot be recovered from this evidence without inventing an intended target.

Recoverable historical question. What relationship, if any, can be documented between the views attributed to Oswald Veblen in the cited notebook and later publications, including the published version of his thesis, and the Laboratory Method advanced by E. H. Moore? The views at issue concern the existence of a mathematical science, independence of axioms, and the search for a simplest set of axioms. The excerpt attributes to Veblen a tentative attribution of the idea of proving the existence of a science to Hilbert at the Paris congress. This is an attribution within the supplied historical excerpt, not an established priority claim or a defined mathematical existence assertion.

Context and unresolved qualifications. The adjacent discussion concerns collaboration and mentoring in the development of Veblen's geometry: coauthored articles and textbooks, supervision of master's and doctoral theses, graduate seminars, and community institutions. It describes Veblen's experience under Moore as formative and begins a reference to Moore's foundations-of-geometry seminar in connection with Veblen's 1905 paper on Jordan's closed curve theorem. That sentence is truncated in the supplied excerpt, so its conclusion cannot be recovered. The meanings of existence of a science and simplest set of axioms, the relevant axiom systems, and the criteria for a historical relationship remain unspecified. This entry therefore preserves a historical question requiring documentary review, rather than asserting a mathematical conjecture.

Short English statement

The source asks how Veblen's views on axioms and mathematical foundations relate to E. H. Moore's Laboratory Method. It is a historical question with incomplete documentary references, not a recoverable formal mathematical problem. The supplied partially solved label is dated curation and does not establish a mathematical result.

Sources

• Local UnsolvedMath registry, supplied record with permanent ID 30005315, title "Moore's Laboratory Method in Veblen's Geometry," source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The record gives proposed year 2022 but names no proposer.
• Supplied source citation: History of mathematics through collaboration: Toward a composite portrait of Oswald Veblen (2023), Oberwolfach Reports, pp. 3171--3214, DOI 10.4171/owr/2022/56. https://doi.org/10.4171/owr/2022/56. This is the supplied report provenance; its contents have not been independently inspected here.
• Archival reference as supplied in the incomplete opening fragment: Veblen, MSS 44016, Library of Congress, "6 RHS." The fragment does not establish a complete archival locator. Internal reference labels [4], [9], and [19, pp. 63--101] occur without their bibliography entries; [4] is associated with Moore's Laboratory Method and [9] with the published version of Veblen's thesis.
• Supplied literature source, "Moore primary paper": https://www.jstor.org/stable/1988666. No title or further bibliographic details are supplied.
• Supplied literature source, "historical analysis of Veblen": https://www.ams.org/journals/notices/200705/200705FullIssue.pdf. No article title, author, or page locator is supplied.
• Supplied literature source, "original OWR report": https://doi.org/10.4171/owr/2022/56.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the entry partially solved and reports that primary papers and later historical analysis document Moore's seminar influence on Veblen's geometry, while the exact relationship to Moore's Laboratory Method is only partially reconstructed. This is supplied dated curation derived from the OWR collection, not an independently verified literature assessment. The record itself calls for independent verification of time-sensitive status and cited claims.