KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#typescript #ai-agents #developer-tools #cli #codex #claude-code #react #mcp #open-source #deepseek-harness #dsh-plugin #ai

Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition

★ 89 Open GitHub ↗

Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Halmos Naive Set Theory Reedition with OCR and LaTeX

In this notebook, we will use Optimal Character Recognition (OCR) with Python to help us "translate" the digitilized book Naive Set Theory by Paul Halmos into a PDF with a new and more interactable format.

There is two reasons for this project: first, the book in digitilized state is perfectly readable, but it doesn't allow search words with Cntrl + F and doesn't have a summary with it. The second reason is purely personal, I have a passion and gratitude for this book and, while I want to learn OCR, I decided to re-edited it as a homage.

The PDF used is public domain and, so, freely available in the internet. Therefore, the resulting re-edition of the book at the end of this project has no lucrative ends by any means. The final PDF will be written in LaTeX and available for download in the repository.

## Last updated in january 4, 2026.

All chapters finished and the final version of the book available in the pdf "Naive_Set_Theory_Reedition". You can also view the LaTeX documents in the folder of same name or using this overleaf link < [https://www.overleaf.com/read/mvcbkkqnmzby](https://www.overleaf.com/read/rtbqbpnyrtbq#1131f7) >.

Luiz (https://github.com/luifrancgom) made a lot of typo corrections and also published a version of the re-edition in Quarto HTML freely available at https://luifrancgom.github.io/halmos_naive_set_theory_quarto/, and also a PDF version (https://luifrancgom.github.io/halmos_naive_set_theory_quarto/Naive-Set-Theory.pdf)

Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README