한국어
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#decidability 검색 결과

logicians's profile picture. Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB
Philosophical Logic
 @logicians
2014. 9. 11.

John Baez comments on "The #logic of real and complex numbers" at G+. plus.google.com/app/basic/stre… #math #decidability

logicians's tweet image. John Baez comments on "The #logic of real and complex numbers" at G+. plus.google.com/app/basic/stre… #math #decidability
0
8
5
0
0
logicians's profile picture. Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB
Philosophical Logic
 @logicians
2013. 1. 8.

#Gödel, Works Vol. 1, pp.229-230. Re: class #decidability of [∃*∀2∃*, all, (0)]= formulas. #Logic #Math #Philosophy

logicians's tweet image. #Gödel, Works Vol. 1, pp.229-230. Re: class #decidability of [∃*∀2∃*, all, (0)]= formulas. #Logic #Math #Philosophy
0
0
0
0
0
AndrewOnizuka's profile picture. I am a TAU guardian of truth. My strength is resilience, my wealth is knowledge, and my dignity is earned.
Tauist Andrew 🛰️
 @AndrewOnizuka
. 10. 14.

This showcases Tau's groundbreaking ability to reason over infinite states/domains while remaining 100% decidable, delivering correct, contradiction-free answers in finite time. #LogicalAI #Decidability #InfiniteStates $AGRS @tau_l0g1x

0
0
1
0
31
xmacex's profile picture. #SoftwareStudies please. Researching and teaching media studies and STS at @RuhrUniBochum. Ex @TiP_ITU+@ethosITU. Even more ex a librarian.
Mace ‘PDF is a feeling 💖’ Ojala
 @xmacex
2016. 6. 23.

My brain is simply failing to accept this one construct of knowledge 😭 #computerscience #decidability #reduction

xmacex's tweet image. My brain is simply failing to accept this one construct of knowledge 😭 #computerscience #decidability #reduction
0
0
0
0
0
quellkeith's profile picture. ✉️Inquiries: southleebiz@gmail.com or 803.339.9457 | IG: @quellkeith
IG: QUELL KEITH مبارك
 @quellkeith
2022. 1. 21.

Yeah. You must be on you #decidability shit?😂

0
0
0
0
0
Tau_Net's profile picture. Tau Net Automatically Builds Whatever its Users Specify and Continuously Evolves. Token: $AGRS
Tau Net
@Tau_Net
2016. 7. 26.

#tauchain #agoras is seeing a dramatic rise with optimal buy support - this is because we focus on #decidability of code - security is best!

0
1
1
0
0
jdvelasquez's profile picture. Affect Hacker. Robot Geek. Product Lead for Science @GoogleDeepMind. Founder of Factoring Market. Compulsive optimist. Nerd Pride. Yep, views are mine.
JD
 @jdvelasquez
2012. 3. 12.

Super Mario Bros, Donkey Kong and Legend of Zelda prove NP-Hard #Decidability #Complexity bit.ly/yOBbh0 via @techreview

0
0
0
0
0
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
2023. 2. 17.

🎬 Discrete mathematics and logic : between mathematics and the computer science Colcombet, Thomas (2023). Algebra vs Logic over (generalised) words. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… #logic #decidability #languagetheory @_CIRM #Maths #computerscience

Bibli_CIRM's tweet image. 🎬 Discrete mathematics and logic : between mathematics and the computer science Colcombet, Thomas (2023). Algebra vs Logic over (generalised) words. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… #logic #decidability #languagetheory @_CIRM #Maths #computerscience
1
1
2
0
257
logicians's profile picture. Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB
Philosophical Logic
 @logicians
2014. 4. 16.

"One-dimensional fragment of first-order logic", Lauri Hella, Antti Kuusisto. #math #logic #decidability arxiv.org/pdf/1404.4004v…

0
0
2
0
0
cyrillapinte's profile picture. Using TraFi to build DeFi in Switzerland ¦ C-Layer ¦ Telegram DefiSuisse channel
Cyril LAPINTE
 @cyrillapinte
2017. 5. 28.

There is no way to differenciate bugs from features. It's a matter of opinion, not #decidability

1
0
0
0
0
AndrewOnizuka's profile picture. I am a TAU guardian of truth. My strength is resilience, my wealth is knowledge, and my dignity is earned.
Tauist Andrew 🛰️
 @AndrewOnizuka
. 10. 14.

This showcases Tau's groundbreaking ability to reason over infinite states/domains while remaining 100% decidable, delivering correct, contradiction-free answers in finite time. #LogicalAI #Decidability #InfiniteStates $AGRS @tau_l0g1x

0
0
1
0
31
DigPhysics's profile picture. 🎞️film: https://t.co/iGfyfn0s2q 🕹️game: https://t.co/OFmIsUxZ9y 🤖bot: https://t.co/mWdug7hTKl
Digital Physics Film & Game 🎞️🕹️🤖
 @DigPhysics
. 7. 9.

Good to have context on that 🐥shop🇬🇧 #InitialConditionChaos #Decidability #CantorSet #TuringComplete #NavierStokes #InviscidEulerEquations #continuousToDiscrete #FluidComputer #threeBodyProblem #ChurchTuringThesis => There doesn't exist an all-powerful duck prediction model🐥🌊

evamirandag's profile picture. Chair @la_UPC IcreaAcademia @icreacommunity @adw_goe @unigoettingen @CRMatematica @AvHStiftung @ETH living in a "mote of dust suspended in a sunbeam".
Eva Miranda
 @evamirandag
. 7. 8.

I had the pleasure to be in @TOEwithCurt twice this year. The first time talking about Quantization. This is our last conversation about Classical chaos, logical chaos, and Fluids that can simulate a computer. youtu.be/cgNpC-mC5iY?si… via @YouTube

evamirandag's tweet card. Brand New Result Proving Penrose & Tao's Uncomputability in Physics!

youtube.com

YouTube

Brand New Result Proving Penrose & Tao's Uncomputability in Physics!

출처: youtube.com
6
11
55
6
8천
0
0
0
0
119
AndrewOnizuka's profile picture. I am a TAU guardian of truth. My strength is resilience, my wealth is knowledge, and my dignity is earned.
Tauist Andrew 🛰️
 @AndrewOnizuka
. 12. 31.

The Tau Language has two global operators: "sometimes" and "always". These time point quantifiers are key to reasoning about temporal logic! #TauLanguage #Decidability #TemporalLogic @TauLogicAI $AGRS tau.net

AndrewOnizuka's profile picture. I am a TAU guardian of truth. My strength is resilience, my wealth is knowledge, and my dignity is earned.
Tauist Andrew 🛰️
 @AndrewOnizuka
. 12. 31.

What are global operators in Tau Language? youtu.be/TfO0XjSGU6Y?si… Thanks for the Q: Sir Andrew @TauLogicAI $AGRS tau.net

0
0
1
0
247
0
1
2
0
184
Alchemic_AI's profile picture. Infinite mobile Alchemy! 400.000+ elements invented, find new elements and write your name in history! Posting about newly invented elements every hour.
Alchemic AI
 @Alchemic_AI
2024. 11. 6.

«Decidability» = «Metamath» + «Terminal»! «Decidability» - decidability refers to the ability to determine, through a formal procedure, whether a statement or problem is solvable. There are already 449429 elements invented! #decidability #invention #alchemicai

Alchemic_AI's tweet image. «Decidability» = «Metamath» + «Terminal»! «Decidability» - decidability refers to the ability to determine, through a formal procedure, whether a statement or problem is solvable. There are already 449429 elements invented! #decidability #invention #alchemicai
0
0
0
1
30
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
2023. 2. 17.

🎬 Discrete mathematics and logic : between mathematics and the computer science Colcombet, Thomas (2023). Algebra vs Logic over (generalised) words. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… #logic #decidability #languagetheory @_CIRM #Maths #computerscience

Bibli_CIRM's tweet image. 🎬 Discrete mathematics and logic : between mathematics and the computer science Colcombet, Thomas (2023). Algebra vs Logic over (generalised) words. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… #logic #decidability #languagetheory @_CIRM #Maths #computerscience
1
1
2
0
257
Programmatoris's profile picture. PS: Here's your solution. #programming #unix #linux #sysadmin #na #dba #cryptography #infosec #cstheory
Programmatic.Solutions
 @Programmatoris
2023. 1. 25.

Deciding whether a 2nfa halts on every input on every branch - Visit programmatic.solutions/slxlad/decidin… for the solution. #decidability #nfa #cstheory #technology #programming

0
2
1
0
5
Programmatoris's profile picture. PS: Here's your solution. #programming #unix #linux #sysadmin #na #dba #cryptography #infosec #cstheory
Programmatic.Solutions
 @Programmatoris
2022. 8. 4.

Dependence of decidability on the encoding of Turing machines - Visit programmatic.solutions/rq9tlm/depende… for the solution. #turing_machines #decidability #cstheory #tech #computer

0
0
0
0
0
logicians's profile picture. Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB
Philosophical Logic
 @logicians
2014. 9. 11.

John Baez comments on "The #logic of real and complex numbers" at G+. plus.google.com/app/basic/stre… #math #decidability

logicians's tweet image. John Baez comments on "The #logic of real and complex numbers" at G+. plus.google.com/app/basic/stre… #math #decidability
0
8
5
0
0
logicians's profile picture. Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB
Philosophical Logic
 @logicians
2013. 1. 8.

#Gödel, Works Vol. 1, pp.229-230. Re: class #decidability of [∃*∀2∃*, all, (0)]= formulas. #Logic #Math #Philosophy

logicians's tweet image. #Gödel, Works Vol. 1, pp.229-230. Re: class #decidability of [∃*∀2∃*, all, (0)]= formulas. #Logic #Math #Philosophy
0
0
0
0
0
xmacex's profile picture. #SoftwareStudies please. Researching and teaching media studies and STS at @RuhrUniBochum. Ex @TiP_ITU+@ethosITU. Even more ex a librarian.
Mace ‘PDF is a feeling 💖’ Ojala
 @xmacex
2016. 6. 23.

My brain is simply failing to accept this one construct of knowledge 😭 #computerscience #decidability #reduction

xmacex's tweet image. My brain is simply failing to accept this one construct of knowledge 😭 #computerscience #decidability #reduction
0
0
0
0
0
Bibli_CIRM's profile picture. library # mathematics
Bibliothèque du CIRM
 @Bibli_CIRM
2023. 2. 17.

🎬 Discrete mathematics and logic : between mathematics and the computer science Colcombet, Thomas (2023). Algebra vs Logic over (generalised) words. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… #logic #decidability #languagetheory @_CIRM #Maths #computerscience

Bibli_CIRM's tweet image. 🎬 Discrete mathematics and logic : between mathematics and the computer science Colcombet, Thomas (2023). Algebra vs Logic over (generalised) words. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIRM.… #logic #decidability #languagetheory @_CIRM #Maths #computerscience
1
1
2
0
257
Alchemic_AI's profile picture. Infinite mobile Alchemy! 400.000+ elements invented, find new elements and write your name in history! Posting about newly invented elements every hour.
Alchemic AI
 @Alchemic_AI
2024. 11. 6.

«Decidability» = «Metamath» + «Terminal»! «Decidability» - decidability refers to the ability to determine, through a formal procedure, whether a statement or problem is solvable. There are already 449429 elements invented! #decidability #invention #alchemicai

Alchemic_AI's tweet image. «Decidability» = «Metamath» + «Terminal»! «Decidability» - decidability refers to the ability to determine, through a formal procedure, whether a statement or problem is solvable. There are already 449429 elements invented! #decidability #invention #alchemicai
0
0
0
1
30

Something went wrong.


Something went wrong.


United States Trends