Topics (203k) Articles (205k) Users (301) Discussions (237) Comments (383) Files (715) New article
Jacek Malinowski could refer to multiple individuals, as it is a relatively common name in Poland. One notable mention is Jacek Malinowski, an academic known for his contributions to fields such as computer science or linguistics. However, without more context, it's difficult to identify a specific person or topic related to that name.
Irving Anellis is a philosopher and professor known for his work in logic, philosophy of language, and history of philosophy. He has contributed to various discussions on topics such as formal logic, philosophical methodologies, and the interpretations of various philosophical texts. Anellis is also known for his involvement in academic organizations and for editing various scholarly works.
Herbert Enderton (1935–2019) was a prominent mathematician known for his work in mathematical logic, particularly in set theory and model theory. He is perhaps best known for his textbook "A Mathematical Introduction to Logic," which is widely used in undergraduate courses on logic and has been influential in the field. Enderton's contributions to mathematical logic include topics such as computability theory, the foundations of mathematics, and formal systems.
Henk Barendregt is a prominent Dutch mathematician and computer scientist known for his contributions to the fields of logic, type theory, and lambda calculus. He has worked extensively on topics related to the foundations of mathematics, automated theorem proving, and the formalization of mathematical concepts. Barendregt is particularly recognized for his work on the untyped and typed lambda calculi, as well as for his role in the development of proof assistants and formal verification methods.
Heinrich Scholz (1884–1956) was a notable German philosopher and logician, particularly recognized for his contributions to the fields of mathematical logic and the philosophy of mathematics. Scholz played a significant role in the development of formal systems and was involved in discussions surrounding proof theory and the foundations of mathematics. He is often associated with the work of the Göttingen School of Mathematics and the Hilbert program, which aimed to establish a solid foundation for all of mathematics.
Hajnal Andréka is a Hungarian logician and professor, known for her contributions to the fields of mathematical logic, formal reasoning, and the philosophy of mathematics. She has worked extensively on various topics, including modal logics, algebraic logic, and the interplay between logic and computer science. Andréka has published numerous papers and has been involved in academic research that explores the foundations of logic and its applications.
Grigori Mints is a mathematician known for his work in logic, mathematical foundations, and computer science. He has made significant contributions in areas such as proof theory, computational complexity, and the foundations of mathematics. He is particularly recognized for his development of various logical systems and his work on formal proofs. Mints has authored several publications in these fields and has been involved in research that explores the connections between logic and computer science.
Grigore Moisil was a prominent Romanian mathematician and logician, known for his contributions to the fields of mathematical logic, algebra, and computer science. Born on January 10, 1906, in the town of Măcin, Moisil was a significant figure in the development of modern mathematics and computing in Romania. He is particularly recognized for his work in mathematical logic and for pioneering contributions to the study of algebraic structures.
Greg Hjorth is a noted mathematician primarily known for his contributions to the field of logic and set theory, particularly in areas related to the foundations of mathematics, model theory, and descriptive set theory. He has published numerous research papers and articles addressing complex topics within these domains.
Gisbert Hasenjaeger is a notable figure known for his contributions in the field of finance or possibly as an entrepreneur or leader in a specific industry, although detailed information about his accomplishments or background may not be widely available or documented.
Gerald Sacks is an American mathematician known for his contributions to the field of mathematical logic, particularly in the areas of recursion theory and model theory. He has worked on topics such as the structure of certain mathematical models and the relationships between different levels of mathematical infinities. Sacks is also known for the Sacks forcing technique, which is a method used in set theory to construct models with certain desirable properties. His work is significant in understanding the foundations of mathematics and the nature of mathematical truth.
Gennady Makanin is a Russian author known for his contributions to contemporary literature. He was born on February 6, 1937, and has written a variety of novels, short stories, and essays. Makanin's works often explore themes of human existence, identity, and the complexities of life in modern society. He is recognized for his unique narrative style and his ability to blend the everyday with philosophical insights.
Evert Willem Beth (1908–1969) was a Dutch logician and philosopher, known for his contributions to the fields of mathematical logic, philosophy of science, and the foundations of mathematics. He is particularly recognized for his work on formal logic and his efforts to clarify the relationship between mathematics and logic. Beth was instrumental in promoting the understanding of logical systems and contributed to discussions surrounding the philosophy of language and the nature of mathematical reasoning.
Ernst Zermelo was a German mathematician known primarily for his foundational work in set theory. He was born on December 27, 1871, and died on May 21, 1953. Zermelo is most famous for developing the Zermelo-Fraenkel set theory (ZF), which is one of the most commonly used axiomatic set theories in mathematics.
Ehud Hrushovski is an Israeli mathematician known for his work in model theory, a branch of mathematical logic that deals with the relationships between formal languages and their interpretations or models. Born in 1959, Hrushovski has made significant contributions to various areas in logic and mathematics, including the development of new techniques in model theory, algebraic geometry, and set theory.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact





