This take on mathematical systems emerging out from faith based thought is outlined in the history of Victorian era Mathematics by Daniel J. Cohen: https://amzn.to/2NeEDKD pic.twitter.com/gbgLY5YxzW
Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.
Cognitive map maker @Prabros.
U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
Dodajte ovaj Tweet na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više
Dodajte ovaj videozapis na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više
Integracijom Twitterova sadržaja u svoje web-mjesto ili aplikaciju prihvaćate Twitterov Ugovor za programere i Pravila za programere.
| Država | Kod | Samo za korisnike |
|---|---|---|
| Sjedinjene Američke Države | 40404 | (bilo koje) |
| Kanada | 21212 | (bilo koje) |
| Ujedinjeno Kraljevstvo | 86444 | Vodafone, Orange, 3, O2 |
| Brazil | 40404 | Nextel, TIM |
| Haiti | 40404 | Digicel, Voila |
| Irska | 51210 | Vodafone, O2 |
| Indija | 53000 | Bharti Airtel, Videocon, Reliance |
| Indonezija | 89887 | AXIS, 3, Telkomsel, Indosat, XL Axiata |
| Italija | 4880804 | Wind |
| 3424486444 | Vodafone | |
| » Pogledajte SMS kratke šifre za druge zemlje | ||
Vremenska crta mjesto je na kojem ćete provesti najviše vremena i bez odgode dobivati novosti o svemu što vam je važno.
Prijeđite pokazivačem preko slike profila pa kliknite gumb Pratim da biste prestali pratiti neki račun.
Kada vidite Tweet koji volite, dodirnite srce – to osobi koja ga je napisala daje do znanja da vam se sviđa.
Najbolji je način da podijelite nečiji Tweet s osobama koje vas prate prosljeđivanje. Dodirnite ikonu da biste smjesta poslali.
Pomoću odgovora dodajte sve što mislite o nekom tweetu. Pronađite temu koja vam je važna i uključite se.
Bez odgode pogledajte o čemu ljudi razgovaraju.
Pratite više računa da biste dobivali novosti o temama do kojih vam je stalo.
Bez odgode pogledajte najnovije razgovore o bilo kojoj temi.
Bez odgode pratite kako se razvijaju događaji koje pratite.
This take on mathematical systems emerging out from faith based thought is outlined in the history of Victorian era Mathematics by Daniel J. Cohen: https://amzn.to/2NeEDKD pic.twitter.com/gbgLY5YxzW
Boole’s original algebra had a notion of time which seems to be curiously missing in modern treatments. Unearthing these sort of subtle details that are brushed under the rug for fitting the cast of modern treatises is a good reason to go prospecting the history of a field.pic.twitter.com/2SBLc0SHta
TIL about Automated Mathematician: https://en.wikipedia.org/wiki/Automated_Mathematician …, a discovery system written in Lisp by Douglas Lenat (of Cyc fame) via Douglas Hofstadter's foreword to Gödel’s Proof:pic.twitter.com/uyLI0eiKrS
Prathyush je proslijedio/a tweet korisnika/cePrathyush
Dana Scott’s recollection of how Lambda Calculus gets recycled every decade is well worth a watch for the personal anecdotes he shares. There’s also this instance of absurdity where he shares why the symbol ”Lambda” in Lambda Calculus was chosen :https://twitter.com/prathyvsh/status/1026069704090107906 …
Prathyush je dodan/na,
If you follow the threads of evolution of technology closely in different domains, say linguistics and logic in this case, one can’t help but find a sort of consilience among disparate seeming domains. Here is Frege replacing subject/predicate by argument/function dichotomy:pic.twitter.com/EX6yfGNiWm
Prathyush je proslijedio/a tweet korisnika/cePrathyush
This ties together with the idea that there are links among disparate ideas appearing throughout the computational universe: https://twitter.com/prathyvsh/status/1152945019071766528 … Cf. Montague quantification (linguistics) has connections to continuations (functional programming): https://en.wikipedia.org/wiki/Montague_grammar …
Prathyush je dodan/na,
Prathyush je proslijedio/a tweet korisnika/cePrathyush
I’d be compiling and serializing this stories of computation into a browsable website up next. Collecting materials for research, feel free to suggest any articles/books you think would enrich the narrative this way:https://twitter.com/prathyvsh/status/1198085261281779712?s=20 …
Prathyush je dodan/na,
Robin Gandy, student of Turing, on ”the uncluttered mind”. If you are an entrant to the field of logic/scientific inquiry, it could be tempting to see this as an encouragement to forego learning about literature of a field to go at it with a “fresh mind”, but this could be naïve.pic.twitter.com/ge8y7v2lJw
Prathyush je proslijedio/a tweet korisnika/cePrathyush
Alan Turing was a generalist and read widely on very different topics. He was fluent in German and up-to-date in the mathematical advances of his time as can be seen in the references of his paper:https://twitter.com/prathyvsh/status/1168766689460150278 …
Prathyush je dodan/na,
Gödel who produced a proof for God’s existence: https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof … claimed Turing’s notion of computation as philosophically erroneous to model human cognition. Kleene rejected it as a “pie in the sky”. Source: https://pron.github.io/posts/computation-logic-algebra-pt3 …pic.twitter.com/2g5BjWDCdu
Finished this erudite three part essay on the history of intersection between computation, logic, and algebra by @pressron. I highly recommend this series to those interested in the history of computation:https://pron.github.io/posts/computation-logic-algebra-pt1 …
Conjecture: Alan Turing knew a thing or two about Poincare’s embezzlement at the three body problem of late 19th century: https://en.wikipedia.org/wiki/Three-body_problem#Special-case_solutions … (or one of the related threads) which inspired him to answer the Entscheidungsproblem in the negative: https://en.wikipedia.org/wiki/Entscheidungsproblem#Negative_answer …pic.twitter.com/e6BGOZ221o
Pretty interesting essay on type theory by @mrkgrnao here: https://colimit.net/posts/normalisation-by-evaluation/ … Breaks down the more complex concepts to their composites and gives interesting metaphors to ground them.pic.twitter.com/dACEPD1b7r
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.