人工智能悖论 - 腾讯云开发者社区

文章/答案/技术大牛

发布

2回答

与Burali-Forti悖论类似的Coq？

coq

我刚刚从CMU讲座中了解到，虽然Check Type以Coq格式返回Type : Type，但左、右的Types被不同的数字隐式索引，因为如果它们是相同的，就会导致类似Burali-Forti悖论的类型理论模拟如果您试图实现这样一个悖论，Coq将拒绝编译。我很好奇Coq脚本中这个悖论是什么样子，但是找不到任何代码。一些讨论提到了B.Barras的“coq中的Burali-Forti悖论的形式化”，但是与它的联系被打破了。这一悖论是否有Coq实现？

浏览 2提问于2015-08-13得票数 2

回答已采纳

1回答

在Ocaml中实现罗素悖论是可能的吗？

functional-programming、ocaml、set-theory

我最近学到了关于朴素集合论中的罗素悖论，当考虑不是其自身成员的所有集合的集合时，该集合似乎是其自身的成员当它不是其自身的成员时，这就产生了悖论。我想知道，在Ocaml这样的函数式语言中，询问一个集合是否是其自身的成员的函数是否可实现，因为罗素悖论本身并没有明确的答案，如果是这样的话，是否需要任何关于如何解决这个问题的提示。此外，我有兴趣了解这些数学悖论中是否有任何在一般情况下是可实现的。

浏览 5提问于2021-04-07得票数 1

1回答

pxlib -如何使用where子句查询？

php、paradox

我通过php使用pxlib来查询获取一些数据，这是一个古老的悖论--db。我在想一种where子句...任何有悖论知识的人，请填补哥特式的空白，;-)

浏览 1提问于2012-12-11得票数 0

回答已采纳

1回答

FireDac -如何使用带有悖论表的事务

delphi、c++builder、firedac、paradox

不幸的是，我不得不使用古老的软件，它使用悖论表。不支持功能‘“ 看来，用于悖论的windows odbc驱动程序不支持事务。我认为ole jet允许带有悖论的事务，但我宁愿使用Firedac而不是ADO或BDE。

浏览 2提问于2018-06-09得票数 1

回答已采纳

1回答

使用wordpress搜索选择SQL_CALC_FOUND_ROWS

database、comments、search、errors、phpmyadmin

WordPress数据库错误：表主题_se.wp_注释‘不存在从SQL_CALC_FOUND_ROWS wp_theme_se_posts.ID中选择1=1和( (wp_posts.post_title类似于‘%悖论%’)或(wp_posts.post_content类似‘%悖论%’)或存在(从wp_comments选择*，其中comment_post_ID = wp_posts.ID，comment_content类似于‘%悖论%’)或存在(选择*来自wp_terms内部连接wp_term_taxonomy ON wp_term_tax

浏览 0提问于2016-06-25得票数 0

回答已采纳

1回答

代码中的def paradox_stats()函数是什么？

python、python-3.x

生日悖论说，两个人在一个房间里过同一个生日的概率是一半以上，前提是房间里的人数超过23。这并不是一个真正的悖论，但许多人发现它令人惊讶。设计一个Python程序，它可以通过随机生成的生日的一系列实验来测试这个悖论，这个程序在n= 5,10,15,20，…,100中测试这个悖论。这是我书中显示的代码。

浏览 1提问于2021-07-09得票数 0

回答已采纳

1回答

悖论数据库转换python

python、sql、paradox

我需要能够在悖论数据库运行后自动将数据转换为sql，或者能够直接与悖论交互。我似乎找不到通过python或windows上的命令提示符来执行这些过程的方法。一切都有帮助！

浏览 1提问于2015-09-17得票数 1

回答已采纳

1回答

只有一次语义学，将军们的悖论现在解决了吗？

apache-kafka

这就是我所说的将军悖论的意思：这里是汇合式的博客，关于精确的一次语义：，我正在努力地把这两个问题联系起来，完全是一次语义和将军悖论。无论两者是相同的还是看起来都是一样的，但事实并非如此。

浏览 5提问于2017-07-02得票数 5

回答已采纳

4回答

生日悖论python -错误的概率输出

python、birthday-paradox

我对Python中的生日悖论的编程有问题。生日悖论基本上是说，如果一个班上有23个人，其中两个人的生日相同的概率是50%。我试图用Python编写这个悖论，但是它总是以接近25%的概率返回。

浏览 103提问于2017-10-12得票数 0

回答已采纳

2回答

基于ODBC的SQL助手中的悖论查询-没有列名

sql、paradox

我设置了一个到悖论数据库的ODBC连接，并使用Teradata助手对数据库进行查询。但是，没有发现列名。在悖论数据库中，第2列称为“日期”。我希望能够通过该栏的查询来限制。我该怎么做？

浏览 4提问于2013-08-09得票数 0

回答已采纳

1回答

请解释为什么我们需要$2^m$ &$2${{m}{2}$随机消息

hash、collision-resistance

我只知道23个人的生日悖论。我怎么把生日悖论和这次袭击联系起来呢？

浏览 0提问于2019-07-31得票数 3

1回答

悖论(ObjectPal)应用偶尔引起一般保护违规，找出原因

debugging、crash、paradox

我们有一个相当大的基于悖论/对象的应用程序。由于我们将数据库从基于文件的表(悖论)转移到ms 2008速成版，我们遇到了许多偶尔出现的一般性保护违规(GPV)。这些错误似乎只发生在悖论运行时，而不是在开发版本，这使得调试是不可能的。我们做了很多工作来减少这些GPV，而且看起来越来越好了。无论如何，这里和那里仍然有恼人的GPV使整个应用程序崩溃。

浏览 2提问于2014-08-07得票数 0

回答已采纳

2回答

Java--Paradox驱动程序--可以选择但不能修改

java、driver、paradox

我需要从java代码中对一个悖论数据库执行一些DB操作。因此，我下载了这个驱动程序，如下所示：，并创建了一个查询悖论DB的代码。效果很好。

浏览 7提问于2019-09-27得票数 0

2回答

生日悖论

java、paradox、birthday-paradox

我想用java来模拟生日悖论。由于某种原因，我的输出(概率)一直非常接近1，例如模拟(10)->0,9268。首先，您可以看到我的模拟应该接近的概率。我查过其他关于生日悖论的代码，但似乎没有一个能帮助我完成我的奇怪的输出。附注：您可以忽略//TODO，一旦我启动并运行代码，我就会修复它。谢谢你提前了！

浏览 0提问于2016-01-06得票数 0

回答已采纳

1回答