[[proof]] - anagora.org

📚 node [[proof]]

📓 garden/unrival/object/proof.md by @unrival

A proof is a simple object which, given another object, is either satisfied by this other object or not.

If a complex object references a proof, it must satisfy this proof.

📖 stoas

public document at doc.anagora.org/proof
video call at meet.jit.si/proof

⥱ context

← back
2021 11 01
relationships

↑ pushing here
(none)

↓ pulling this
(none)

→ forward
(none)

⥅ related node [[proof game]]

⥅ related node [[proof of stake]]

⥅ related node [[proof of work]]

⥅ related node [[20210719163343 proof_of_work]]

⥅ related node [[proof of humanity]]

🔎 full text search for 'proof'

📚 Node	📕 Resource	🧍 User
contract	garden/ajhalili2006-old/contract.md	@ajhalili2006-old
live-coding-on-airdrag	garden/ankostis/JRC/live-coding-on-airdrag.md	@ankostis
Crypto	garden/bbchase/book notes/Crypto.md	@bbchase
Canceling - Contrapoints	garden/bbchase/Canceling - Contrapoints.md	@bbchase
Evergreen Upgrade Advice	garden/bbchase/Evergreen Upgrade Advice.md	@bbchase
The 6 Month Mark in Any sustained crisis	garden/bbchase/The 6 Month Mark in Any sustained crisis.md	@bbchase
Faith Programming in Brain	garden/binnyva/Faith Programming in Brain.md	@binnyva
2021-01-10-14	garden/bmann/_logs/2021-01-10-14.md	@bmann
neuron	garden/bmann/_notes/neuron.md	@bmann
2003-05-28-itunes-is-successful-or-maybe-not	garden/bmann/_posts/archive/2003-05-28-itunes-is-successful-or-maybe-not.md	@bmann
2005-05-21-first-apple-store-in-canada-yorkdale-in-toronto-opened-today	garden/bmann/_posts/archive/2005-05-21-first-apple-store-in-canada-yorkdale-in-toronto-opened-today.md	@bmann
2005-10-01-invalid-btree-node-size-and-other-joys	garden/bmann/_posts/archive/2005-10-01-invalid-btree-node-size-and-other-joys.md	@bmann
2006-07-28-barcamp-vancouver-and-more-great-vancouver-people	garden/bmann/_posts/archive/2006-07-28-barcamp-vancouver-and-more-great-vancouver-people.md	@bmann
2006-08-17-announcing-pretzel-a-python-based-jabber-server-on-twisted	garden/bmann/_posts/archive/2006-08-17-announcing-pretzel-a-python-based-jabber-server-on-twisted.md	@bmann
2007-01-23-buy-the-monkeyblaster-9000-podcast-with-elastic-path	garden/bmann/_posts/archive/2007-01-23-buy-the-monkeyblaster-9000-podcast-with-elastic-path.md	@bmann
2009-07-28-nameless-homeless	garden/bmann/_posts/archive/2009-07-28-nameless-homeless.md	@bmann
2010-08-01-elephants-like-community-roi-too	garden/bmann/_posts/archive/2010-08-01-elephants-like-community-roi-too.md	@bmann
2012-02-06-build-more-startups-in-vancouver	garden/bmann/_posts/blog/2012-02-06-build-more-startups-in-vancouver.md	@bmann
2012-07-27-tracking-qr-codes	garden/bmann/_posts/blog/2012-07-27-tracking-qr-codes.md	@bmann
2019-03-31-ethereum-governance	garden/bmann/_posts/blog/2019-03-31-ethereum-governance.md	@bmann
_index	garden/darlim/content/_index.md	@darlim
Corporation	garden/dr_kvj/Corporation.md	@dr_kvj
A-design-for-a-hypothetical-undergraduate-CS-curriculum	garden/enki/A-design-for-a-hypothetical-undergraduate-CS-curriculum.md	@enki
A-Dispatch-from-the-Infected-Future	garden/enki/A-Dispatch-from-the-Infected-Future.md	@enki
A-method-and-device-for-becoming-a-property-owner-himself	garden/enki/A-method-and-device-for-becoming-a-property-owner-himself.md	@enki
A-Short-History-of-Procedurally-Generated-Text	garden/enki/A-Short-History-of-Procedurally-Generated-Text.md	@enki
An-Engineer-s-Guide-to-the-Docuverse	garden/enki/An-Engineer-s-Guide-to-the-Docuverse.md	@enki
Any-solution-that-s-ineffective-unless-100--of-the-population-is-morally-upright-is-unusable	garden/enki/Any-solution-that-s-ineffective-unless-100--of-the-population-is-morally-upright-is-unusable.md	@enki
Books-that-should-be-made-into-movies--but-never-ever-will	garden/enki/Books-that-should-be-made-into-movies--but-never-ever-will.md	@enki
How-Bots-Were-Born-From-Spam	garden/enki/How-Bots-Were-Born-From-Spam.md	@enki
I-ve-never-understood-Turkle-s-rationale-for-this-idea	garden/enki/I-ve-never-understood-Turkle-s-rationale-for-this-idea.md	@enki
Interview-with-a-transformer-II	garden/enki/Interview-with-a-transformer-II.md	@enki
Kaukatcr--an-experiment-in-language-design-for-multi-dimensional-spaces	garden/enki/Kaukatcr--an-experiment-in-language-design-for-multi-dimensional-spaces.md	@enki
Mycroft---A-Predicate-Logic-Language---Overview---Post-mortem	garden/enki/Mycroft---A-Predicate-Logic-Language---Overview---Post-mortem.md	@enki
Myths-of-competence-and-specialization	garden/enki/Myths-of-competence-and-specialization.md	@enki
Once-upon-a-time--folks-who-made-content-for-hypertext-systems-were-called-authors	garden/enki/Once-upon-a-time--folks-who-made-content-for-hypertext-systems-were-called-authors.md	@enki
One-s-career-is-rarely-a-vocation	garden/enki/One-s-career-is-rarely-a-vocation.md	@enki
Paranoia-as-a-design-choice	garden/enki/Paranoia-as-a-design-choice.md	@enki
Proposal-for-a-high-performance-storage-system-for-OSMIC-branching-histories	garden/enki/Proposal-for-a-high-performance-storage-system-for-OSMIC-branching-histories.md	@enki
Stories-I-won-t-write--but-you-can	garden/enki/Stories-I-won-t-write--but-you-can.md	@enki
The-Divine-Transcendence-of-Slacking-Off	garden/enki/The-Divine-Transcendence-of-Slacking-Off.md	@enki
The-problem-of-a-lack-of-free-public-indoor-spaces-isn-t-limited-to-New-York-City--I-live-in	garden/enki/The-problem-of-a-lack-of-free-public-indoor-spaces-isn-t-limited-to-New-York-City--I-live-in.md	@enki
There-s-a-potential-link-to-folie-au-deux-here	garden/enki/There-s-a-potential-link-to-folie-au-deux-here.md	@enki
Trajectories-for-the-future-of-software	garden/enki/Trajectories-for-the-future-of-software.md	@enki
poverty	garden/flancia.org/pages/poverty.md	@flancia.org
ontological-coaching	garden/flancia.org/posts/ontological-coaching.md	@flancia.org
2021-03-08	garden/flancian/2021-03-08.md	@flancian
a new kind of science	garden/flancian/a new kind of science.md	@flancian
arabian nights	garden/flancian/arabian nights.md	@flancian
bearer token	garden/flancian/bearer token.md	@flancian
dispositio	garden/flancian/dispositio.md	@flancian
hope or hype for art	garden/flancian/hope or hype for art.md	@flancian
2021-08-13	garden/flancian/journal/2021-08-13.md	@flancian
2021-10-10	garden/flancian/journal/2021-10-10.md	@flancian
lucretius	garden/flancian/lucretius.md	@flancian
mathew lowry	garden/flancian/mathew lowry.md	@flancian
patterning	garden/flancian/patterning.md	@flancian
proof game	garden/flancian/proof game.md	@flancian
stephen wolfram	garden/flancian/stephen wolfram.md	@flancian
tools for thinking	garden/flancian/tools for thinking.md	@flancian
2020-01-07-loves-fertilizer	garden/forshaper/_posts/2020-01-07-loves-fertilizer.md	@forshaper
2021-02-20-hobbs-and-shaw-and-nietzsche	garden/forshaper/_posts/2021-02-20-hobbs-and-shaw-and-nietzsche.md	@forshaper
2021-03-06-neets-are-our-fremen	garden/forshaper/_posts/2021-03-06-neets-are-our-fremen.md	@forshaper
2021-10-10-pith-what-clothes-you-give-us	garden/forshaper/_posts/2021-10-10-pith-what-clothes-you-give-us.md	@forshaper
2021_09_21	garden/forshaper/notes/journals/2021_09_21.md	@forshaper
2021_10_15	garden/forshaper/notes/journals/2021_10_15.md	@forshaper
2021_11_01	garden/forshaper/notes/journals/2021_11_01.md	@forshaper
2022_03_27	garden/forshaper/notes/journals/2022_03_27.md	@forshaper
relationships	garden/forshaper/notes/pages/relationships.md	@forshaper
quantum computing	garden/forshaper/notes/quantum computing.md	@forshaper
relationships	garden/forshaper/notes/relationships.md	@forshaper
write-notes-in-foam	garden/gyuri/docs/how-to/write-notes-in-foam.md	@gyuri
Atomic-Habits	garden/houshuang/content/Atomic-Habits.md	@houshuang
Attention-Is-Cognitive-Unison	garden/houshuang/content/Attention-Is-Cognitive-Unison.md	@houshuang
Deep-Work	garden/houshuang/content/Deep-Work.md	@houshuang
Just-in-Time-Project-Management	garden/houshuang/content/Just-in-Time-Project-Management.md	@houshuang
Project-Fluid	garden/houshuang/content/Project-Fluid.md	@houshuang
The-Body-Keeps-the-Score	garden/houshuang/content/The-Body-Keeps-the-Score.md	@houshuang
2020-08-05	garden/jakeisnt/journals/2020-08-05.org	@jakeisnt
acl2	garden/jakeisnt/pages/acl2.org	@jakeisnt
clothing	garden/jakeisnt/pages/clothing.org	@jakeisnt
coq	garden/jakeisnt/pages/coq.org	@jakeisnt
cpp	garden/jakeisnt/pages/cpp.org	@jakeisnt
cybersecurity	garden/jakeisnt/pages/cybersecurity.org	@jakeisnt
favorites	garden/jakeisnt/pages/favorites.org	@jakeisnt
gemini	garden/jakeisnt/pages/gemini.org	@jakeisnt
haskell	garden/jakeisnt/pages/haskell.org	@jakeisnt
idris	garden/jakeisnt/pages/idris.org	@jakeisnt
nix	garden/jakeisnt/pages/nix.org	@jakeisnt
product-research	garden/jakeisnt/pages/product-research.org	@jakeisnt
programming-languages	garden/jakeisnt/pages/programming-languages.org	@jakeisnt
recipes	garden/jakeisnt/pages/recipes.org	@jakeisnt
theoremprover	garden/jakeisnt/pages/theoremprover.org	@jakeisnt
wiki	garden/jakeisnt/pages/wiki.org	@jakeisnt
patterning reading group report	garden/jonathan/patterning reading group report.md	@jonathan
cooking	garden/karlicoss/food/cooking.md	@karlicoss
games-theory	garden/karlicoss/math/games-theory.md	@karlicoss
math-misc	garden/karlicoss/math/math-misc.md	@karlicoss
reprtheory	garden/karlicoss/math/reprtheory.md	@karlicoss
synthetic-topology	garden/karlicoss/math/synthetic-topology.md	@karlicoss
eeg	garden/karlicoss/misc/eeg.md	@karlicoss
travel	garden/karlicoss/misc/travel.md	@karlicoss
classical-mechanics	garden/karlicoss/physics/classical-mechanics.md	@karlicoss
programming-misc	garden/karlicoss/programming/programming-misc.md	@karlicoss
cannon	garden/karlicoss/projects/cannon.md	@karlicoss
grasp	garden/karlicoss/projects/grasp.md	@karlicoss
qs-misc	garden/karlicoss/quantifiedself/qs-misc.md	@karlicoss
self	garden/karlicoss/self.md	@karlicoss
emacs	garden/karlicoss/soft/emacs.md	@karlicoss
tostudy	garden/karlicoss/study/tostudy.md	@karlicoss
toread	garden/karlicoss/toread.md	@karlicoss
NLP Citations for 'The Pile'	garden/KGBicheno/Artificial Intelligence/FOSS Projects/EleutherAI/NLP Citations for 'The Pile'.md	@KGBicheno
Two Key Elements Of AI - Componentry and Process	garden/KGBicheno/Artificial Intelligence/Introduction to AI/Week 1 - Introduction/Two Key Elements Of AI - Componentry and Process.md	@KGBicheno
Constraints on AI and robotic advances	garden/KGBicheno/Artificial Intelligence/Introduction to AI/Week 4 - Introduction/Constraints on AI and robotic advances.md	@KGBicheno
Economic_Glossary	garden/KGBicheno/Economics/Glossary/Economic_Glossary.md	@KGBicheno
Understanding Risk In Corporations	garden/KGBicheno/Economics/Understanding Risk In Corporations.md	@KGBicheno
defamation	garden/law/defamation.md	@law
regulatory-law	garden/law/regulatory-law.md	@law
markup	garden/melanocarpa/markup.myco	@melanocarpa
syndication	garden/melanocarpa/syndication.myco	@melanocarpa
tech_meet_2022-07-22	garden/melanocarpa/tech_meet_2022-07-22.myco	@melanocarpa
blockchain	garden/neil/blockchain.md	@neil
carbon-coin	garden/neil/carbon-coin.md	@neil
cauliflower-macaroni-cheese	garden/neil/cauliflower-macaroni-cheese.md	@neil
cheeseless-pasta-bake	garden/neil/cheeseless-pasta-bake.md	@neil
improving-my-emacs-writing-mode	garden/neil/improving-my-emacs-writing-mode.md	@neil
2021-10-24	garden/neil/journal/2021-10-24.md	@neil
mutual-credit	garden/neil/mutual-credit.md	@neil
my-devices	garden/neil/my-devices.md	@neil
new-eu-rules-smartphones-and-tablets-will-follow-new-ecodesign-requirements-by-june-2025	garden/neil/new-eu-rules-smartphones-and-tablets-will-follow-new-ecodesign-requirements-by-june-2025.md	@neil
proof-of-stake	garden/neil/proof-of-stake.md	@neil
proof-of-work	garden/neil/proof-of-work.md	@neil
twitter	garden/neil/twitter.md	@neil
value	garden/neil/value.md	@neil
20230526T041233--openpgp__infoscam_openpgp_protonmail	garden/oceane/20230526T041233--openpgp__infoscam_openpgp_protonmail.org	@oceane
A Lifetime of Systems Thinking	garden/protopian/Readwise/Articles/A Lifetime of Systems Thinking.md	@protopian
Cognition all the way down	garden/protopian/Readwise/Articles/Cognition all the way down.md	@protopian
Deep Intellect	garden/protopian/Readwise/Articles/Deep Intellect.md	@protopian
Man in the Arena Speech	garden/protopian/Readwise/Articles/Man in the Arena Speech.md	@protopian
Merlin's Owl	garden/protopian/Readwise/Articles/Merlin's Owl.md	@protopian
The Gervais Principle IV Wonderful Human Beings	garden/protopian/Readwise/Articles/The Gervais Principle IV Wonderful Human Beings.md	@protopian
The Magic of the Book Hermann Hesse on Why We Read and Always Will	garden/protopian/Readwise/Articles/The Magic of the Book Hermann Hesse on Why We Read and Always Will.md	@protopian
Why books don’t work	garden/protopian/Readwise/Articles/Why books don’t work.md	@protopian
A Swim in a Pond in the Rain	garden/protopian/Readwise/Books/A Swim in a Pond in the Rain.md	@protopian
Think Again	garden/protopian/Readwise/Books/Think Again.md	@protopian
Tweets From Indy Neogy	garden/protopian/Readwise/Tweets/Tweets From Indy Neogy.md	@protopian
Tweets from Malcolm Ocean (53100 vids)	garden/protopian/Readwise/Tweets/Tweets from Malcolm Ocean (53100 vids).md	@protopian
Eric's Render Notes in MX	garden/rel8/Eric's Render Notes in MX.md	@rel8
20200628191019-fictions_borges	garden/ryan/literature/20200628191019-fictions_borges.md	@ryan
20200708122504-cybernetics_versus_informatics_understanding_the_type_wars_medium_com	garden/ryan/literature/20200708122504-cybernetics_versus_informatics_understanding_the_type_wars_medium_com.md	@ryan
20200712121954-six_steps_to_successful_writing	garden/ryan/literature/20200712121954-six_steps_to_successful_writing.md	@ryan
20201014222130-capital_vol_2	garden/ryan/literature/20201014222130-capital_vol_2.md	@ryan
20210516163844-parse_don_t_validate	garden/ryan/literature/20210516163844-parse_don_t_validate.md	@ryan
20211012135649-battle_cry_of_freedom	garden/ryan/literature/20211012135649-battle_cry_of_freedom.md	@ryan
battle-cry-of-freedom-highlights	garden/ryan/literature/battle-cry-of-freedom-highlights.md	@ryan
capital-vol-2	garden/ryan/literature/capital-vol-2.md	@ryan
cybernetics-versus-informatics-understanding-the-type-wars-medium-com	garden/ryan/literature/cybernetics-versus-informatics-understanding-the-type-wars-medium-com.md	@ryan
fictions-borges	garden/ryan/literature/fictions-borges.md	@ryan
parse-dont-validate	garden/ryan/literature/parse-dont-validate.md	@ryan
six-steps-to-successful-writing	garden/ryan/literature/six-steps-to-successful-writing.md	@ryan
proof-of-work	garden/ryan/proof-of-work.md	@ryan
the-logic-of-cryptocurrency-is-inherently-capitalist	garden/ryan/the-logic-of-cryptocurrency-is-inherently-capitalist.md	@ryan
zettelkasten-note-taking-process	garden/ryan/zettelkasten-note-taking-process.md	@ryan
Q- What is synthesis	garden/scalingsynthesis/content/Q- What is synthesis.md	@scalingsynthesis
R- Where the semantic publishing rubber meets the scholarly practice road	garden/scalingsynthesis/content/R- Where the semantic publishing rubber meets the scholarly practice road.md	@scalingsynthesis
texas-2021-power-outage	garden/tilda/texas-2021-power-outage.md	@tilda
claim	garden/unrival/object/claim.md	@unrival
object	garden/unrival/object/object.md	@unrival
proof	garden/unrival/object/proof.md	@unrival
README	garden/unrival/object/README.md	@unrival
binance-smart-chain	garden/vera.wiki.anagora.org/binance-smart-chain.md	@vera.wiki.anagora.org
proof-of-authority	garden/vera.wiki.anagora.org/proof-of-authority.md	@vera.wiki.anagora.org
you-arent-gonna-need-it	garden/vera.wiki.anagora.org/you-arent-gonna-need-it.md	@vera.wiki.anagora.org
proof of humanity	garden/vera/proof of humanity.md	@vera
proof of stake	garden/vera/proof of stake.md	@vera
stranded-in-a-private-parking-lot-for-4-days-successfully	garden/yiction/stranded-in-a-private-parking-lot-for-4-days-successfully.md	@yiction
fellowship-of-the-link	stoa/doc.anagora.org/fellowship-of-the-link.md	@anonymous@doc.anagora.org
3493	stream/flancian@social.coop/3493.md	@flancian@social.coop
Metahuman	stream/kausch@twitter.com/Metahuman.md	@kausch@twitter.com
OpenAI	stream/kausch@twitter.com/OpenAI.md	@kausch@twitter.com
stablediffusion	stream/kausch@twitter.com/stablediffusion.md	@kausch@twitter.com
UnrealEngine	stream/kausch@twitter.com/UnrealEngine.md	@kausch@twitter.com