Kristie Cymbaluk

In the AI era, as ideas become easier and easier to produce, it becomes harder and harder to find logically consistent ideas.

Co-founder @BuildCoherence.

[Kristie Cymbaluk @RealMetaBias]

I dream of a world where we don't ignore our problems but instead find the root issue, seeking to understand the world as precisely as we can. That's what we are trying to do at @BuildCoherence

[Kristie Cymbaluk @RealMetaBias]

@NoahChrein Would you be a proponent of replacing nat lang with math?

Sounds like that's the next step!

[Kristie Cymbaluk @RealMetaBias]

@sean_from_earth Obliterated?

[Kristie Cymbaluk @RealMetaBias]

@RobertWager1 @ScienceBlog3 It's not just MSM

[Kristie Cymbaluk @RealMetaBias]

@The___ultimate_ Measurable claims have formal definitions. It's the unmeasurable ones that don't.

But it goes way beyond "intelligence." What is goodness? What is in "humanity's interests?"

[Kristie Cymbaluk @RealMetaBias]

@signulll I hope as tensions escalate that people will decrease hateful rhetoric and switch to logical transparent discourse.

This was a core motive for what my husband and I are building.
https://t.co/icrYFBrT7I

[Thumos Bear @Bear_the_AI_guy]

Math is not a subset of language. It's the other way around. Language is a subset of math.

[Kristie Cymbaluk @RealMetaBias]

@pmddomingos We are working on it bit by bit, but we suspect that all natural language that we use to reason will be formalized.

Please try it for free!
https://t.co/6oML7ENRSI

[Kristie Cymbaluk @RealMetaBias]

Good question...

[Sam Cymbaluk @SemanticSamuel]

Give it a try! Everyone on X talks big about being logical, why not prove it?

[Kristie Cymbaluk @RealMetaBias]

bioRxiv appears to be funded by Zuckerberg and Sergey Brin.

Seeing AI companies fund this is really not assuring.

From their website:
bioRxiv and medRxiv thank the following for their generous financial support:
The Chan Zuckerberg Initiative, Cold Spring Harbor Laboratory, the Sergey Brin Family Foundation, California Institute of Technology, Centre National de la Recherche Scientifique, Fred Hutchinson Cancer Center, Imperial College London, Massachusetts Institute of Technology, Stanford University, The University of Edinburgh, University of Washington, and Vrije Universiteit Amsterdam

https://t.co/HOlfMGDjJ6 - the preprint server for Biology https://t.co/Yur20DX8SC

[Kristie Cymbaluk @RealMetaBias]

@R_H_Ebright @LocasaleLab What's the alternative currently?

[Kristie Cymbaluk @RealMetaBias]

If "we" means everybody or people who are in principle against thinking, it is not possible to ethically force behavior. Otherwise then absolutely there exists people constantly and freely striving to enhance their critical thinking. Obsidian is a tool for writing whose user base wants to enhance their thinking and map it out. AxiomReason is another for making only logically valid arguments.

[Kristie Cymbaluk @RealMetaBias]

@suchenzang At this point, the purpose of social media is just to bully others.

Cyberbullying stops when you communicate in logic—probably because the thinking juices hinder aggression.

https://t.co/icrYFBrT7I

[Kristie Cymbaluk @RealMetaBias]

@nosilverv If we often can't even repeat each other's arguments to each other verbatim, why agree?

Consider: resolving disagreement isn't about pretending 2 contradictory ideas are correct, but finding and accepting whether or not your idea has a contradiction. Vice versa.

[Kristie Cymbaluk @RealMetaBias]

@JakeKAllDay @mattyglesias Twitter is a great place for people to memory hole information.

[Kristie Cymbaluk @RealMetaBias]

@conformal_gk @not_ellington Equations clearly describe the variables to be considered in the relationship. Pictures leave it open-ended allowing a many-one interpretation. Equations are harder to work with, but hard to incorrectly use and misinterpret. Pictures are the opposite.

[Kristie Cymbaluk @RealMetaBias]

@ThinkDi92468945 @not_ellington Well you can even talk in pure formalization now.

Still, it's useful to have visualizations for depicting dependencies, sets, etc. as they are great for sharing with others. But also every idea is proven to be logically valid.
https://t.co/icrYFBrT7I

[Kristie Cymbaluk @RealMetaBias]

@learning_pills inception: binary logic can encode non-binary logic and so forth.
https://t.co/z8ClVYr3gK

[Kristie Cymbaluk @RealMetaBias]

@MidnightSilve20 @Dr_Singularity Oooohhh that's a cute thought!! Hm what does proof absent of axioms mean?? I think proof requires starting axioms/premises.

[Kristie Cymbaluk @RealMetaBias]

@yacineMTB It seems to hardly lie when it's coding in lean4.