Download or update the Perplexity app, create an account, click on this referral link, and ask questions for a chance to win $1M! perplexity.sng.link/A6awk/cx24/r_a…
0
0
0
48
Penrose has argued that if mathematicians can “see” the truth of certain mathematical statements that no formal system can prove (Gödel), then human reasoning fundamentally transcends mechanistic computation. Taken further, human reasoning is orthogonal to algorithmic logic.
0
0
0
73
I’ve been wondering this for a while. Gödel’s incompleteness theorems prove that some truths can’t be proven (but are nevertheless true). Should we trust these unprovable statements? Examples would be axioms. @PostDisclosure
1
0
0
76
@PostDisclosure The point being that there exist an infinite set of truths that are true but unprovable so. Assenting to those truths can only be an action of belief and not pure logic (in the formal provable sense). Therefore, is it okay to believe them to be true?
0
0
0
27
Your post that mentions '.describe()' & '.compile()' is incorrect. Should be '.describe()' & '.build()'
Joi for Node: Exploring Javascript Object Schema Validation by @rossbulat link.medium.com/HyFZcufIdtb
Joi for Node: Exploring Javascript Object Schema Validation by @rossbulat link.medium.com/HyFZcufIdtb
0
0
0
@nim_lang - just tried to install nim 1.6.4 on my Windows System, and Norton Antivirus neutralized a Trojan it discovered. WTH????
3
0
0
@LastPass - Bitwarden is NICE!!! You guys should checkout their multi-tier model, they're getting it right!
0
0
0
Voter fraud is real, and Twitter banning @realDonaldTrump is likened to communist China... where the China virus came from. Twitster is BS.
0
0
0

