Is this a typo in Section 1.8.1 Mathematics for Computer Science?How can I learn about proofs for computer science?How can I start to learn proof theory?Proving the existence of a proof without actually giving a proofProof by well ordering: Every positive integer greater than one can be factored as a product of primes.Gentzen and computer scienceElegant demonstration with minimum category theory knowledgeDifferent definitions of Natural Numbers and Proof by ContradictionProve $3^2n-5$ is a multiple of $4$Defining new symbols in a proof, when is this justified?Prove convergence rate to zero increases as n increases

"Whatever a Russian does, they end up making the Kalashnikov gun"? Are there any similar proverbs in English?

Older movie/show about humans on derelict alien warship which refuels by passing through a star

How long after the last departure shall the airport stay open for an emergency return?

Creating a chemical industry from a medieval tech level without petroleum

What is the unit of time_lock_delta in LND?

Is it acceptable to use working hours to read general interest books?

How do I check if a string is entirely made of the same substring?

How do I produce this Greek letter koppa: Ϟ in pdfLaTeX?

How much of a wave function must reside inside event horizon for it to be consumed by the black hole?

How bug prioritization works in agile projects vs non agile

How do I deal with a coworker that keeps asking to make small superficial changes to a report, and it is seriously triggering my anxiety?

Is this a typo in Section 1.8.1 Mathematics for Computer Science?

Is there a better way to say "see someone's dreams"?

Should the Product Owner dictate what info the UI needs to display?

Can someone publish a story that happened to you?

Apply a different color ramp to subset of categorized symbols in QGIS?

A Paper Record is What I Hamper

Why did Rep. Omar conclude her criticism of US troops with the phrase "NotTodaySatan"?

What does "function" actually mean in music?

How important is it that $TERM is correct?

How to have a sharp product image?

"The cow" OR "a cow" OR "cows" in this context

How can I practically buy stocks?

Rudin 2.10 (b) Example



Is this a typo in Section 1.8.1 Mathematics for Computer Science?


How can I learn about proofs for computer science?How can I start to learn proof theory?Proving the existence of a proof without actually giving a proofProof by well ordering: Every positive integer greater than one can be factored as a product of primes.Gentzen and computer scienceElegant demonstration with minimum category theory knowledgeDifferent definitions of Natural Numbers and Proof by ContradictionProve $3^2n-5$ is a multiple of $4$Defining new symbols in a proof, when is this justified?Prove convergence rate to zero increases as n increases













3












$begingroup$


enter image description here



Am I completely mistake or is it suppose to say $n^2$ is a multiple of 2 and therefore $n$ must be a multiple of 4?



This is from MIT's Mathematics for Computer Science










share|cite|improve this question









$endgroup$











  • $begingroup$
    Generally: If $m,n$ are positive integers and $m^1/n$ is not an integer then $m^1/n$ is irrational. Proved by a similar method.
    $endgroup$
    – DanielWainfleet
    3 hours ago















3












$begingroup$


enter image description here



Am I completely mistake or is it suppose to say $n^2$ is a multiple of 2 and therefore $n$ must be a multiple of 4?



This is from MIT's Mathematics for Computer Science










share|cite|improve this question









$endgroup$











  • $begingroup$
    Generally: If $m,n$ are positive integers and $m^1/n$ is not an integer then $m^1/n$ is irrational. Proved by a similar method.
    $endgroup$
    – DanielWainfleet
    3 hours ago













3












3








3





$begingroup$


enter image description here



Am I completely mistake or is it suppose to say $n^2$ is a multiple of 2 and therefore $n$ must be a multiple of 4?



This is from MIT's Mathematics for Computer Science










share|cite|improve this question









$endgroup$




enter image description here



Am I completely mistake or is it suppose to say $n^2$ is a multiple of 2 and therefore $n$ must be a multiple of 4?



This is from MIT's Mathematics for Computer Science







proof-explanation proof-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 4 hours ago









doctopusdoctopus

1413




1413











  • $begingroup$
    Generally: If $m,n$ are positive integers and $m^1/n$ is not an integer then $m^1/n$ is irrational. Proved by a similar method.
    $endgroup$
    – DanielWainfleet
    3 hours ago
















  • $begingroup$
    Generally: If $m,n$ are positive integers and $m^1/n$ is not an integer then $m^1/n$ is irrational. Proved by a similar method.
    $endgroup$
    – DanielWainfleet
    3 hours ago















$begingroup$
Generally: If $m,n$ are positive integers and $m^1/n$ is not an integer then $m^1/n$ is irrational. Proved by a similar method.
$endgroup$
– DanielWainfleet
3 hours ago




$begingroup$
Generally: If $m,n$ are positive integers and $m^1/n$ is not an integer then $m^1/n$ is irrational. Proved by a similar method.
$endgroup$
– DanielWainfleet
3 hours ago










2 Answers
2






active

oldest

votes


















3












$begingroup$

No, it is correct. The point is that $2d^2=n^2$ implies $n^2$ is even, and only even numbers square to give an even number, so $n$ much be even, so $n^2$ is then actually a multiple of $4$.






share|cite|improve this answer









$endgroup$




















    2












    $begingroup$

    No. $6^2$ is a multiple of $2$ but $6$ is not a multiple of $4$. If $n=2k$ then for sure $n^2=4k^2$. So, MIT is right.






    share|cite|improve this answer









    $endgroup$













      Your Answer








      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "69"
      ;
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function()
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled)
      StackExchange.using("snippets", function()
      createEditor();
      );

      else
      createEditor();

      );

      function createEditor()
      StackExchange.prepareEditor(
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader:
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      ,
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      );



      );













      draft saved

      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3202666%2fis-this-a-typo-in-section-1-8-1-mathematics-for-computer-science%23new-answer', 'question_page');

      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      3












      $begingroup$

      No, it is correct. The point is that $2d^2=n^2$ implies $n^2$ is even, and only even numbers square to give an even number, so $n$ much be even, so $n^2$ is then actually a multiple of $4$.






      share|cite|improve this answer









      $endgroup$

















        3












        $begingroup$

        No, it is correct. The point is that $2d^2=n^2$ implies $n^2$ is even, and only even numbers square to give an even number, so $n$ much be even, so $n^2$ is then actually a multiple of $4$.






        share|cite|improve this answer









        $endgroup$















          3












          3








          3





          $begingroup$

          No, it is correct. The point is that $2d^2=n^2$ implies $n^2$ is even, and only even numbers square to give an even number, so $n$ much be even, so $n^2$ is then actually a multiple of $4$.






          share|cite|improve this answer









          $endgroup$



          No, it is correct. The point is that $2d^2=n^2$ implies $n^2$ is even, and only even numbers square to give an even number, so $n$ much be even, so $n^2$ is then actually a multiple of $4$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 4 hours ago









          John DoeJohn Doe

          12.2k11341




          12.2k11341





















              2












              $begingroup$

              No. $6^2$ is a multiple of $2$ but $6$ is not a multiple of $4$. If $n=2k$ then for sure $n^2=4k^2$. So, MIT is right.






              share|cite|improve this answer









              $endgroup$

















                2












                $begingroup$

                No. $6^2$ is a multiple of $2$ but $6$ is not a multiple of $4$. If $n=2k$ then for sure $n^2=4k^2$. So, MIT is right.






                share|cite|improve this answer









                $endgroup$















                  2












                  2








                  2





                  $begingroup$

                  No. $6^2$ is a multiple of $2$ but $6$ is not a multiple of $4$. If $n=2k$ then for sure $n^2=4k^2$. So, MIT is right.






                  share|cite|improve this answer









                  $endgroup$



                  No. $6^2$ is a multiple of $2$ but $6$ is not a multiple of $4$. If $n=2k$ then for sure $n^2=4k^2$. So, MIT is right.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 4 hours ago









                  RandallRandall

                  10.8k11431




                  10.8k11431



























                      draft saved

                      draft discarded
















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid


                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.

                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3202666%2fis-this-a-typo-in-section-1-8-1-mathematics-for-computer-science%23new-answer', 'question_page');

                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Are there any AGPL-style licences that require source code modifications to be public? Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Force derivative works to be publicAre there any GPL like licenses for Apple App Store?Do you violate the GPL if you provide source code that cannot be compiled?GPL - is it distribution to use libraries in an appliance loaned to customers?Distributing App for free which uses GPL'ed codeModifications of server software under GPL, with web/CLI interfaceDoes using an AGPLv3-licensed library prevent me from dual-licensing my own source code?Can I publish only select code under GPLv3 from a private project?Is there published precedent regarding the scope of covered work that uses AGPL software?If MIT licensed code links to GPL licensed code what should be the license of the resulting binary program?If I use a public API endpoint that has its source code licensed under AGPL in my app, do I need to disclose my source?

                      2013 GY136 Descoberta | Órbita | Referências Menu de navegação«List Of Centaurs and Scattered-Disk Objects»«List of Known Trans-Neptunian Objects»

                      Metrô de Los Teques Índice Linhas | Estações | Ver também | Referências Ligações externas | Menu de navegação«INSTITUCIÓN»«Mapa de rutas»originalMetrô de Los TequesC.A. Metro Los Teques |Alcaldía de Guaicaipuro – Sitio OficialGobernacion de Mirandaeeeeeee