📚 node [[logic]]

📓 garden/flancian/logic.md by @flancian ️👁 ️📝

Logic

📓 garden/karlicoss/math/logic.md by @karlicoss

[2017-11-30] Continuum hypothesis
[2015-08-26] depenedent sum
[[Self-reference elimination: use indices]]

`[2017-11-30]` Continuum hypothesis

Godel: proved that ZFC + CH is consistnent
Cohen: proved that ZFC + ~CH is consistnent (actually, any intermediate number of infinities)

`[2015-08-26]` depenedent sum

Sum (a : A) (B(A)) = {(a, b) | a ∈ A, b ∈ B(a)}
Exists (a : A) (B(A)) = || Sum a B ||

Self-reference elimination: use indices

x¹ ∈ y²

y² ∈ x¹: forbidden!
x¹ ∈ x²: forbidden!

System NF?

📖 stoas

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

⥱ context

← back
2021 01 30
2021 04 03
2021 08 14
2022 03 27
2022 05 30
left tech magazines
nobu hibiki
prolog
topology
tostudy
trivium

↑ pushing here
(none)

↓ pulling this
(none)

→ forward
(none)

⥅ related node [[existential psycological disorders]]

⥅ related node [[ontological coaching]]

⥅ related node [[carelogic]]

⥅ related node [[epistemological letters]]

⥅ related node [[formal logic]]

⥅ related node [[mathematical logic]]

⥅ related node [[chance love and logic]]

⥅ related node [[biological comparisons]]

⥅ related node [[an ecological technology an interview with james bridle]]

⥅ related node [[biologically inspired computing]]

⥅ related node [[dialogic]]

⥅ related node [[ecological civilization]]

⥅ related node [[ecological flows]]

⥅ related node [[ecological leninism with kai heron]]

⥅ related node [[ecological radio workshop]]

⥅ related node [[ecosocialism and the ecological crisis]]

⥅ related node [[general intellect unit the cybernetic brain part 1 ontological theatre]]

⥅ related node [[indigenous and traditional ecological knowledge]]

⥅ related node [[jennerite ecological scepticism]]

⥅ related node [[kohei saito climate crisis and ecological revolution]]

⥅ related node [[lean logic]]

⥅ related node [[a cooperative vision for technological innovation w dan hind]]

⥅ related node [[logic magazine]]

⥅ related node [[logics of resistance]]

⥅ related node [[moving towards an ecological leninism]]

⥅ related node [[our feelings are not just biological but also social and cultural and therefore historical]]

⥅ related node [[postmodernism or the cultural logic of late capitalism]]

⥅ related node [[technological decentralisation]]

⥅ related node [[technological determinism]]

⥅ related node [[technological sovereignty]]

⥅ related node [[technological utopianism]]

⥅ related node [[topological determinism]]

⥅ related node [[un convention on biological diversity]]

⥅ related node [[what does an ecological civilization look like]]

⥅ related node [[20210206104803 ayn_rand_s_philosophy_is_tautological]]

⥅ related node [[20210310142248 technological_progress_is_not_linear]]

⥅ related node [[20210310144711 technological_development]]

⥅ related node [[20210719161227 the_logic_of_cryptocurrency_is_inherently_capitalist]]

⥅ related node [[20210720192702 logical_positivism]]

⥅ related node [[20210120214919 how_to_make_a_pencil_logic_magazine]]

⥅ related node [[20210321202719 singular_plural_logic_mag]]

⥅ related node [[20210321203540 enter_the_dragnet_logic_mag]]

⥅ related node [[20210321210839 panopticons_and_leviathans_logic_mag]]

⥅ related node [[20210326181613 building_better_technology_together_logic_mag]]

⥅ related node [[20210326182858 specter_in_the_machine_logic_mag]]

⥅ related node [[20210405165210 decelerate_now_logic_mag]]

⥅ related node [[20210714212557 the_access_doctrine_logic_mag]]

⥅ related node [[20210714213814 don_t_call_it_a_throwback_logic_mag]]

⥅ related node [[20210714214523 data_relations_logic_mag]]

⥅ related node [[geologic timeline]]

⥅ related node [[logical tea party]]

⥅ related node [[epistemological]]

⥅ related node [[nosological]]

🔎 full text search for 'logic'

Logic

Table of Contents

[2017-11-30] Continuum hypothesis

[2015-08-26] depenedent sum

Self-reference elimination: use indices

`[2017-11-30]` Continuum hypothesis

`[2015-08-26]` depenedent sum