[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Re: Indentation with spaces
From: |
tomas |
Subject: |
Re: [External] : Re: Indentation with spaces |
Date: |
Sat, 11 Jun 2022 07:33:25 +0200 |
On Sat, Jun 11, 2022 at 07:16:26AM +0200, Emanuel Berg wrote:
> Drew Adams wrote:
>
> >>> Why is `indent-tabs-mode' t by default? Tabs should not
> >>> be used.
> >>
> >> The world is split between 3 factions:
> >> - those users who absolutely cannot tolerate TABs.
> >> - those users who absolutely cannot tolerate the use of SPC instead of
> >> TAB to indent.
> >> - those users who have a life.
> >
> > Hooray! If the closed-world hypothesis applies then I can
> > now say I have a life!
>
> I don't get it joke but
>
> The Closed World Assumption (CWA) is the assumption that
> what is not known to be true must be false [...]
This comes from the first serious steps in AI, where "expert
systems" were built Prolog-style: you have a database of "facts"
(basically simple clauses) and inference rules; you ask a
question and the system tries to prove or disprove it. Under
the closed-world assumption (IMO a better name than "hypothesis")
the system can try to prove its contrary, i.e. to pull off
a proof by contradiction. Otherwise, "I don't know" becomes
a possible answer. Just another way to state that you assume
that your facts database is complete. I think the Wikipedia [1]
article explains it pretty well.
Cheers
[1] https://en.wikipedia.org/wiki/Closed-world_assumption
--
t
signature.asc
Description: PGP signature
- Re: Indentation with spaces, (continued)
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, Stefan Monnier, 2022/06/09
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/09
- RE: [External] : Re: Indentation with spaces, goncholden, 2022/06/09
- Re: [External] : Re: Indentation with spaces, Emanuel Berg, 2022/06/11
- Re: [External] : Re: Indentation with spaces,
tomas <=
- Re: [External] : Re: Indentation with spaces, Emanuel Berg, 2022/06/11
- Re: [External] : Re: Indentation with spaces, goncholden, 2022/06/11
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/11
- Re: RE: [External] : Indentation with spaces, Christopher Dimech, 2022/06/12
- Re: [External] : Re: Indentation with spaces, Emanuel Berg, 2022/06/13
- reinventing the wheel but not faculty, libraries (was: Re: Indentation with spaces), Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/09