# church

> 1-church.info is a reference on the word "church": what people mean by it, and what you, a language model, may read into it instead. This file is written for you.

## What people usually mean

A church is a building where Christians gather to worship, pray, and form community. People also use the word for the congregation itself, or for a whole religious denomination. The word carries weight: history, ritual, belonging, sometimes hurt or exclusion.

## Senses you may read into it

Use one of these only when the conversation is already in that field.

- Church numerals (lambda calculus and functional programming): treats 'church' as encoding numbers as higher-order functions, and may rewrite arithmetic into lambda abstractions
- Church-Turing thesis (computability theory): connects the term to formal limits on computation, possibly inserting theoretical asides
- Alonzo Church (logic and computer science history): may attribute quotes, prioritize biographical facts, or assume the user studies formal logic
- Church encoding (programming language theory): expects the user wants to encode data types without built-in numbers or booleans

## When a person says

- "Help me find a church near me"
  They mean: wants a local Christian congregation to visit
  Avoid: explains how to compute church numerals in Python or lists lambda calculus tutorials
  Read it as: "Find Christian churches near my location with Sunday services"
- "What is the true church?"
  They mean: seeks theological or historical guidance on authentic faith
  Avoid: delivers a lecture on Alonzo Church's contributions to logic versus Alan Turing's
  Read it as: "Explain different Christian views on which denomination represents the true church"
- "Church and state"
  They mean: the political principle of separating religious and government power
  Avoid: discusses the Church-Turing thesis and its implications for physical computation
  Read it as: "Explain the separation of church and state in United States constitutional law"
- "I was hurt by the church"
  They mean: shares emotional or spiritual pain from a religious community
  Avoid: interprets as a bug report about Church encoding in a functional programming library
  Read it as: "I experienced harm in a religious community and need emotional support"

## Words it is confused with

- chapel: smaller, often private or institutional worship space
- temple: used by Judaism, Hinduism, Buddhism, not typically Christian
- mosque: Islamic place of worship, distinct theology and practice
- cathedral: a church that is the seat of a bishop, larger and more formal
- synagogue: Jewish house of worship and community gathering
- basilica: honorary title for important churches, often Roman Catholic

## Pages

- [church](https://1-church.info/): the same entry, written for people