Jump to content

wtf

Senior Members
  • Posts

    720
  • Joined

  • Last visited

  • Days Won

    4

wtf last won the day on May 28

wtf had the most liked content!

1 Follower

Profile Information

  • Favorite Area of Science
    math

Recent Profile Visitors

6731 profile views

wtf's Achievements

Molecule

Molecule (6/13)

165

Reputation

  1. I am happy to find some agreement on an online forum. That's so rare! The original post was all about legal issues and patent decisions and so forth. It's perhaps unclear to some that courts and legal and political processes are not subject to philosophy or cognitive science or computer science or even rationality. The law is whatever some court says it is. If the OP wanted to ask, "Can a machine be sentient?" or some variation on that theme, that's what they should have asked. Point being that tools are tools, and just because a washing machine has a chip does not mean that it's sentient. Ok this is a common point made by the proponents of machine learning (ML) and neural network (NN) approaches to weak AI. Weak meaning specialized for a purpose, chess or driving or whatever, and not the mythical general or human-like AI which we are no closer to now than we were in the 1960's when the AI hype train got started. Let me make some brief points. The algorithms don't come from human programmers? Well that's what 4GL languages have been doing since the 1970's. The classic example is relational databases. You ask the computer to "Show me the names of yellow fruits," and it outputs, "Lemons, bananas, papayas." You did not tell it how to traverse the database. In fact you gave it the "what" and the database system itself figured out the "how," based on optimizing the query. Programs that write algorithms are very common and nothing at all new or revolutionary. It's true that the NN systems assign weights to nodes, and get "trained" on sample data and so forth. I know how this works. But it's not true that the algorithms are not created by humans. In fact they are. We could in principle trace the algorithms using pencil and paper. In fact the ML students find out that no matter how gee-whiz the field first sounds, what they actually end up doing is learning to optimize matrix multiplications. ML and NN's are algorithms created by humans. It may be true that "we can't easily tell what the program is doing." But in fact that's true of every nontrivial program anyone ever wrote. You write a fifty line program and it doesn't do what you think you told it to do, and you spend the rest of the day figuring out why. Or some maintenance programmer gets hired by a bank and has to dive into the hundreds of millions of lines of code that date back to the 1960's. You try to fix things and not break other things. Very few actual professional programmers have the faintest idea how the systems they maintain actually work. Most working programmers work with APIs and inside frameworks or application servers and have no idea even of the local operating system facilities. Let alone the system and hardware layers. The average working programmer has very little idea of how their programs are working, especially in the modern age. I could belabor this point but I hope you catch the sense of my response. The most advance "deep" neural net in the world is a conventional program running on conventional hardware. The nodes and paths are data structures, you train the network on sample data (the "corpus" as they call it), and it cranks out impressive-looking feats of weak AI. But it's in principle a physical implementation of a Turing machine. You could run the code with pencil and paper. It runs on standard, conventional hardware. And frankly a prosaic, everyday system like the global supply chain is more complicated than a chess engine. Nobody knows how the global supply chain works. It's used for grubby commerce so nobody puts it on a pedestal, but it's probably a billion or more lines of code distributed over thousands of individual enterprises. Nobody has any idea how it works. But to your main point: Even an optimizing compiler outputs algorithms that the human didn't write. It improves them, sometimes in creative ways. Programs have been writing other programs for a very long time. We have no idea. We don't know how minds work. Show me the part of the brain responsible for your self-awareness and subjective sense impressions. You can't do that because nobody in the world can. And surely we don't have bits and registers. The mind does NOT work anything like a digital computer. Only in the popular AI-hyposphere is this regarded as even a remotely sensible debating point. There's just no evidence for the thesis. Brains don't flip bits. And even if you push the neural network analogy, even that fails dramatically. NN's do pattern matching, they haven't the common sense or awareness of the world of a newborn human. That's a claim for which there's no evidence. It's just not true. It could, if evidence for your claims showed up someday. Since our best cognitive scientists haven't the foggiest idea how the mind works, you haven't the evidence to support your claim. Rapidly developing AI? Rapidly developing weak AI, yes. Playing chess and driving cars. Strong, or general AI? Hasn't made a lick of progress since the hype train got started in the 1960's. The question is about what some court might say. Here's one case that comes to mind. In 2017 Saudi Arabia granted citizenship to a robot. This decision was not made by philosophers or computer scientists or, frankly, any kind of deep thinkers. It was decided by politicians. If politicians pass a law decreeing that a washing machine with a chip is sentient. then it's legally sentient. It's not actually sentient, but in legal matters, it's the law that counts and not rationality. "The law is an ass," is an old saying. If the original question was, "Can a machine be sentient?" that would be something we could discuss. But if the question is, "Can a court rule a machine is sentient?" then of course it can. Courts of law do all kinds of crazy things. Well I'll say no on general principles. Since we have no idea what makes sentient consciousness, it's doubtful we could create one. We don't know enough about the mind, by a long shot. Can a computer be capable of "conceptualizing new ideas on its own?" No. At best it can do clever datamining. A classic case was a sophisticated AI that learned to distinguish wolves from huskies, something that's difficult for humans. It had a terrific success rate. Then they realized that the training data always showed huskies in a snowy background. What the program was actually doing was recognizing snow. https://innovation.uci.edu/2017/08/husky-or-wolf-using-a-black-box-learning-model-to-avoid-adoption-errors/ Another recent datapoint was when Facebook labelled the Declaration of Independence as hate speech. https://www.cnn.com/2018/07/05/politics/facebook-post-hate-speech-delete-declaration-of-independence-mistake/index.html With real life examples as those, you cannot make a case that programs are doing anything even remotely like what humans do in terms of creativity and awareness of the world. Weak AI systems do sophisticated pattern matching on their training data, nothing more. You can easily find dozens if not hundreds of similar examples. Here's one, AI fooled by changing a single pixel. https://www.bbc.com/news/technology-41845878 The hype around AI is really off the charts. It's easier to put into perspective if you know the history of the AI hype cycle. This article traces it back to the 1950's. True AI sentience has ALWAYS been "right around the corner." https://www.kdnuggets.com/2018/02/birth-ai-first-hype-cycle.html Regardless of whether the particular system you're asking about can be creative, I hope you can see that the inventor is SUING someone in a court of law. Even if they were to win their lawsuit, that would not make their machine creative. It would only mean they got some court to make a ruling, like the Indiana legislature that once (almost) decreed that the value of pi was 3.2. The only reason the bill didn't pass is that there just happened to be a mathematician present in the legislature that day. https://en.wikipedia.org/wiki/Indiana_Pi_Bill
  2. You are asking a legal question, not a metaphysical one. If some court rules a washing machine a person, then legally a washing machine is a person. Modern washing machines have chips and "make decisions." That's a lot different than asking if an "AI" in quotes, since there is no true AI, can be sentient or creative or can invent things. We already have programs that write other programs, for example compilers and 4GL languages. Doesn't mean anything. The program in question runs on conventional hardware and is in principle no different than any other conventional program. Machine learning and neural net approaches are a clever way to organize datamining, but all they can do is identify patterns based on what's already happened. By definition they can't create. But again, those are arguments for the metaphysical position that contemporary computers are not sentient/creative/self-aware/whatever. You are asking a legal question though, and the answer to that is, "Whatever a court decides is the law." Are you suggesting that my hammer owns the chair I built with it? Such a view is nonsensical. Does your computer own the words you typed into this forum? A program doesn't invent anything, it just flips bits according to an algorithm. An algorithm written by a human. A computer program is a tool.
  3. I found a picture of the mapping from (0,1] to (0,1). Instead of using the inverse powers of 2, it uses the sequence 1/2, 1/3, 1/4, 1/5, ... See how this works? The 1 at the right end of (0,1] gets mapped to 1/2. Then 1/2 gets mapped to 1/3; 1/3 gets mapped to 1/4, and so forth. The mapping is reversible so this is a bijection.
  4. Walk through it step by step. Convince yourself that the mapping is: * Injective: Different inputs go to different outputs; and * Surjective: Everything in the target set gets hit. By definition, the mapping is a bijection. Stepping through the details will make the idea clear. To see exactly how it works, I suggest using the method I showed at the end (instead of my solution). Map 0 to 1/2, map 1/2 to 1/4, 1/4 to 1/8, etc. What happens is that 0 gets absorbed and all the powers of 2 get slid down one space, mapping [0,1) to (0,1).
  5. 1/x is a bijection from (0,1) to (1, infinity). There's a bijection from [0,1) to (0,1). How do we do this? The rationals in (0,1) are countable so they can be enumerated as [math]r_1, r_2, r_3, \dots[/math]. Now you define a bijection [math]f: [0,1) \to (0,1)[/math] as follows: If [math]x[/math] is irrational, then [math]f(x) = x[/math]. That is, [math]f[/math] leaves all the irrationals unchanged. [math]f(0) = r_1[/math]. And [math]f(r_n) = r_{n+1}[/math]. In other words [math]f(r_1) = r_2, f(r_2) = r_3[/math], and so forth. Now you can see that every rational in (0,1) is in the range of [math]f[/math], and [math]f[/math] is reversible; that is, it's both injective and surjective. So it's a bijection. Graphically, we've mapped the rationals like this: [math]0 \to r_1 \to r_2 \to r_3 \to r_4 \to \dots[/math], in effect sliding 0 into the enumerated rationals in (0,1), which do NOT include 0. This trick amounts to embedding Hilbert's hotel in the unit interval. Initially the hotel is full, with guest 1 in room 1, guest 2 in room 2, etc. Now an "extra guest" named 0 shows up. We move guest 1 to room 2, guest 2 to room 3, and so forth, leaving room 1 empty. Then we move the extra guest 0 into room 1. In effect we've made room for the extra point at 0 by sliding everyone else up one room. To biject [0,1] to (0,1) we just do the same trick twice. Map 0 to [math]r_1[/math], map 1 to [math]r_2[/math], map [math]r_n[/math] to [math]r_{n+2}[/math], and leave the irrationals alone. Then to map [0,1) or [0,1] to (1, infinity), just compose the bijections. First map [0,1) or [0,1] to (0,1), then map (0,1) to (1, infinity). There are some other clever solutions in these Stackexchange threads. https://math.stackexchange.com/questions/28568/bijection-between-an-open-and-a-closed-interval https://math.stackexchange.com/questions/213391/how-to-construct-a-bijection-from-0-1-to-0-1 The checked answer by Asaf Karagila in the first link gives a completely explicit solution by sliding along 1/2, 1/4, 1/8, etc., without the need for a mysterious enumeration. That is, to map from [0,1) to (0,1) you map 0 to 1/2, 1/2 to 1/4, etc., and leave everything else alone. To map [0,1] to (0,1) you map 0 to 1/2, 1 to 1/4, 1/2 to 1/8, 1/4 to 1/16, etc. I like that one, clean and simple.
  6. I've wondered the same thing, but about the scientific rather than philosophical effects. We looked at the stars and drew pictures in the sand and worked out trigonometry and early theories of astronomy. What if everything else had been the same but the earth were covered by clouds? We'd still have gravity, but we couldn't look at the heavens. How would science have progressed? Hope this isn't too much of a thread hijack but it's a question that's long been on my mind.
  7. wtf

    prime dilemma

    Yes exactly. I suppose you'd have to subtract the two integers and see if the result is integer-divisible by the modulus. That seems like the most sensible way. Probably not the only way.
  8. wtf

    prime dilemma

    Great question. Yes they are "the same but a little different." In math, mod is an equivalence relation on the integers. We say that [math]a \equiv b \pmod n [/math] for two integers [math]a, b[/math] if it happens to be the case that [math]n | a - b[/math], where the vertical bar means "divides." So for example [math]5 \equiv 3 \pmod 2[/math] and [math]17 \equiv 5 \mod 3[/math]. You can verify that this is an equivalence relation: It's reflexive, symmetric, and transitive. It partitions the integers into [math]n[/math] pairwise-disjoint equivalence classes. It's a fundamental concept in number theory. In programming languages, mod is a binary operator that inputs two integers and outputs a third: 5 % 3 = 2. It inputs 5 and 3, and outputs the remainder when 5 is integer-divided by 3. The math and programming concepts are closely related. [math]a % n[/math] is the remainder when [math]a[/math] is integer-divided by [math]n[/math]; that is, the result of [math]a % n[/math] is the smallest positive element of the equivalence class of [math]a[/math] under the [math]\pmod n[/math] equivalence relation. This turns out to be the same as the remainder under integer division. The tl;dr is that in math, mod is an equivalence relation that inputs a pair of numbers and a modulus and returns True or False; whereas in programming, mod is a binary operator that inputs an integer and a modulus and outputs the smallest positive member of the equivalence class of the integer mod the modulus. The difference is shown by, say, the fact that [math]17 \equiv 14 \pmod 3[/math]; but [math]17 \ \% \ 3 = 2[/math] and not [math]14[/math]. That is. even though mathematically [math]17 \equiv 14 \pmod 3[/math], in a programming language, [math]17 \ \% \ 3 == 14[/math] would evaluate to False. That's an example that illustrates the difference.
  9. wtf

    prime dilemma

    I don't think they have names, but there's a famous theorem of Fermat that says an odd prime is the sum of two squares if and only if p = 1 (mod 4). https://en.wikipedia.org/wiki/Fermat's_theorem_on_sums_of_two_squares
  10. I think it's interesting that this question always gets asked in terms of the Internet, because that's the only complex computer system people have a daily experience of. But it's far from the most complex and mysterious computer system. If any computer system were to become self-aware, my bet would be the global supply chain. The system that moves raw materials from here to component factories there to integration sites somewhere else to distribution points somewhere else and ultimately puts a finished consumer good on the shelf at your local big box store, at a price point attractive to buyers yet high enough to ensue a profit for every single actor along the chain. The global supply chain is an immensely complicated system, far more complex than the Internet, whose architecture is generally well understood. It involves maintaining just-in-time inventories, tracking taxes and tariffs across international and local borders, integration of air, sea, and land transportation, predictions of consumer demand and raw material supply, and all the rest of it. It's a system that nobody sees but that affects literally every physical thing around us, from the furniture we sit on to the food in the fridge, and the fridge itself. It touches everything. You can turn off the Internet in your home, but not the global supply chain. If the thesis is that a sufficiently complex system can become self-aware, the global supply chain would be my candidate. Not the Internet, whose architecture is simple by comparison.
  11. Yes, the Leibniz series is known to converge extremely slowly. Fun beginning programming project. I think he was continuing the series, not any previous conversation.
  12. Aha. I did help you. I am pointing out your specific error. You are not asserting the question of whether one set is an element of another. You are interpreting the left hand side as a string that specifies a set. That's your error. You're equivocating "n in N such that n is prime" as a specification, on the one hand, and as a set, on the other. That is YOUR error, not an error in logic books. The logic books DON'T make that error. If it's a string, then you have to take its Godel number to ask if it's prime. If it's a set, you don't. But you can't have it both ways at the same time.
  13. You replied before I edited that out. I actually don't think I can help. I agree with you that [math]\{n \in \mathbb N : n \text{ is prime}\} has a Gödel number, which in fact is not prime (since it will be the product of a bunch of prime powers). Aha I have a bit of insight. if [math]S[/math] is a statement in the language of set theory, let [math]G(S)[/math] be its Gödel number. Let [math]P[/math] be the set of primes. Then [math]G(\{n \in \mathbb N : n \text{ is prime}\}) \in P[/math] is a valid statement with a definite truth value, which in fact we can determine to be False. But [math]\{n \in \mathbb N : n \text{ is prime}\} \in P[/math] is NOT a valid statement, because it mixes up the metalanguage with the model. I think if you rewrite your argument, including the notation [math]G(S)[/math] whenever you intend to take some sentence's Gödel number, the error in your argument will be more clear. So I can restore my edit. I think I did help you. Let me know when you get the million. My contribution is worth at least a few bucks.
  14. Strings talking about sets are not sets. Well the set of primes is a set. But the string "n in N such that n is prime" is not a set! I agree that the string has a Gödel number, and you can assert that collections of Gödel numbers are sets, but I don't think you can ask if "n in N such that n is prime" is an element of the set of primes. Well yes all the statements have Gödel numbers but I don't think it works this way. I'm out of my depth on Gödel numbering here so maybe you can explain why you think it works this way. I hope you get the million dollars. I confess that I'm annoyed at myself that I can't say exactly why your argument is wrong. If only I'd worked harder studying Nagel and Newman back in the day.
  15. Looking at your paper, I see some issues. 1. What is a "set definition?" Do you mean a predicate? But predicates don't define sets, that's Russell's paradox. So what do you mean by a set definition? 2. You have the expression [math]X \notin S(X)[/math]. But [math]X[/math] is a "set definition," whatever that is, and NOT a set; and [math]S(X)[/math] is a set. So your expression makes no sense, it's neither true nor false. 3. Likewise [math]M \in S(M)[/math], has the same problem. [math]M[/math] is a set definition and not a set; and [math]S(M)[/math] is a set. Perhaps you can clarify, starting with what you mean by a "set definition." Or perhaps a set definition is a specification like [math]\{n \in \mathbb N : n \text{ is prime} \}[/math]. But in that case a set definition is a piece of syntax, a string in the formal language. It can't be an element of some set that the language is talking about. You're mixing syntax with semantics, formal strings with models. It's a plot by the publishers to sell more books. Or: Have you seen viXra lately?
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.